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
..
2018-03-25 16:59:50 +02:00
2017-02-27 08:32:39 -06:00