?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 6f05c0d) | patch
Address #49
commita3e6ad6451cb9ef6c538d643eabc00443aeb0461
authormalc <moosotc@gmail.com>
Tue, 13 Jun 2017 17:02:11 +0000 (13 20:02 +0300)
committermalc <moosotc@gmail.com>
Tue, 13 Jun 2017 17:02:11 +0000 (13 20:02 +0300)
tree2159d5f398425fce15cf27c28aa9aecc6b8d77dbtree | snapshot (tar.gz zip)
parent6f05c0daea18683f0da4dd34ac6b2c207bb4182ecommit | diff
Address #49

I.e. avoid using Char.chr on possibly invalid input when the real char
is available.
main.ml diff | blob | blame | history
PDF pager