| commit | 838745709621fdeaadc90fa8e25c88a46c56b3e5 | [log] [tgz] |
|---|---|---|
| author | Guilherme G. Azzi <ggazzi@inf.ufrgs.br> | Mon Feb 18 10:28:03 2019 |
| committer | Guilherme G. Azzi <ggazzi@inf.ufrgs.br> | Mon Feb 18 10:31:55 2019 |
| tree | 5f6be8beb54d4669df371159bd71451c6b209af3 | |
| parent | 7a4af7f5136dd4f4f4b1846b3872f5688429e5db [diff] |
Fix issue #61 Allow line comments to be terminated by the end of the file, without a final line break.