mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-04 22:20:20 +09:00
syntax: remove some commented out garbage
This commit is contained in:
@@ -5,7 +5,6 @@ filetype: powershell
|
||||
|
||||
detect:
|
||||
filename: "\\.ps(1|m1|d1)$"
|
||||
#header: ""
|
||||
|
||||
rules:
|
||||
# - comment.block: # Block Comment
|
||||
|
||||
@@ -2,7 +2,6 @@ filetype: batch
|
||||
|
||||
detect:
|
||||
filename: "(\\.bat$|\\.cmd$)"
|
||||
# header: ""
|
||||
|
||||
rules:
|
||||
# Numbers
|
||||
|
||||
Reference in New Issue
Block a user