Merge pull request #1932 from eht16/issue1912_change_batch_comment_to_rem
commit10252bea6eaa9738b1652fcb8644c55185a74b40
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 25 Nov 2018 14:04:57 +0000 (25 15:04 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Nov 2018 14:04:57 +0000 (25 15:04 +0100)
treede666e973910f50b42b748a4d20d3441eb48ebfd
parent9cec0a8fc4e75c42e979005ba6da81ff32f9e8a7
parent9ecabc20f0e51e33bf6a46d13bc1a0b47dcc437d
Merge pull request #1932 from eht16/issue1912_change_batch_comment_to_rem

Use REM as single comment marker for Batch files