summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-11 23:22:59 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-11 23:23:16 +0100
commit317bdf8f2b49be79ac63d55220217267c6048bc5 (patch)
treee4b59d453eeadd1bbbbd3265030ee9dd1c5b439f /.gitignore
parent346c0c91bce135215597111a0530dd7ab51b3f89 (diff)
downloadocaml-sid-317bdf8f2b49be79ac63d55220217267c6048bc5.tar.gz
sid.ml: rectify string used to derive constant
Ugh, experiments show that MS will parse arbitrarily short hex encoded IAs which in turn revealed miscalculation in our sloppy parsing mode.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions