discard block comments delimited with /* */

This commit is contained in:
anderoonies
2020-10-14 11:59:14 -04:00
parent 42b3a17356
commit 55be77be69
15 changed files with 65 additions and 3 deletions

View File

@@ -0,0 +1 @@
PRINTT /* block comments must terminate before EOF