diff options
author | Nadrieril | 2019-04-04 22:32:04 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-04 22:32:04 +0200 |
commit | af968c9e72ef5c2ea1ee965776879d9c903bd1aa (patch) | |
tree | 5d10318c5e1df7e90011f3e2acfcdf0ac5bc6755 /dhall_parser/src/dhall.pest.visibility | |
parent | e7a58d09748bd333f755a06090f378e31dc6617a (diff) |
Revert end_of_line handling to upstream
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index 8205cc8..d02298e 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -1,5 +1,4 @@ -end_of_line -# end_of_line_silent +# end_of_line # tab # block_comment # block_comment_chunk |