diff options
| author | Masahiro Sakai <masahiro.sakai@gmail.com> | 2018-07-21 00:06:42 +0900 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-20 17:06:42 +0200 |
| commit | 532b209d127e4cecdbf7e9e3dcf4f653a5605b5a (patch) | |
| tree | 6a1dd2aff39fd63e74fcd71a4e29ba4c0a7c5089 /html-test/src/PatternSyns.hs | |
| parent | 0861affeca4d72938f05a2eceddfae2c19199071 (diff) | |
Add # as a special character (#884)
'#' has special meaning used for anchors and can be escaped using backslash.
Therefore it would be nice to be listed as special characters.
Diffstat (limited to 'html-test/src/PatternSyns.hs')
0 files changed, 0 insertions, 0 deletions