Jonas Jenwald 6bbcafcd26 Let Lexer.getNumber treat a single decimal point as zero (issue 9252)
This is consistent with the behaviour in Adobe Reader.
2018-06-20 13:41:21 +02:00
..
2017-01-29 23:24:44 +01:00
2018-06-11 20:41:56 -07:00
2017-05-19 07:53:05 -05:00
2013-03-15 11:24:08 -07:00
2018-03-16 11:08:56 -07:00
2018-06-11 20:41:56 -07:00
2015-11-19 11:03:52 -06:00