[geany/geany] 10252b: Merge pull request #1932 from eht16/issue1912_change_batch_comment_to_rem

[Enrico Tröger]

Branch:      refs/heads/master
Author:      Enrico Tröger <enrico.troeger at uvena.de>
Committer:   GitHub <noreply at github.com>
Date:        Sun, 25 Nov 2018 14:04:57 UTC
Commit:      10252bea6eaa9738b1652fcb8644c55185a74b40
             https://github.com/geany/geany/commit/10252bea6eaa9738b1652fcb8644c55185a74b40

Log Message:
-----------
Merge pull request #1932 from eht16/issue1912_change_batch_comment_to_rem

Use REM as single comment marker for Batch files


Modified Paths:
--------------
    data/filedefs/filetypes.batch

Modified: data/filedefs/filetypes.batch
2 lines changed, 1 insertions(+), 1 deletions(-)
===================================================================
@@ -23,7 +23,7 @@ extension=bat
 #wordchars=_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789
 
 # single comments, like # in this file
-comment_single=::
+comment_single=REM\s
 # multiline comments
 #comment_open=
 #comment_close=



--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).