Use REM as single comment marker for Batch files
commit9ecabc20f0e51e33bf6a46d13bc1a0b47dcc437d
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 26 Aug 2018 10:48:17 +0000 (26 12:48 +0200)
committerEnrico Tröger <enrico.troeger@uvena.de>
Sun, 26 Aug 2018 10:48:17 +0000 (26 12:48 +0200)
tree297f0137d62be8086c3b7fbe7b645957671f0eb1
parenta7599c5d06e05f7f6722e7423ac6f85c09c65d1e
Use REM as single comment marker for Batch files

REM seems to be the standard comment marker while "::" is rather
deprecated.

Closes #1912.
data/filedefs/filetypes.batch