fe072e3366
Affected characters are U+000B, U+000C, U+000D, U+0085, U+2028, U+2029 This problem reproduces with JFlex since 1.5.0: http://jflex.de/changelog.html#jflex-1.5.0-jan-21-2014
1.9 KiB
Vendored
1.9 KiB
Vendored