summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-03 19:41:15 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-05 21:13:45 +0100
commit01a83e0f1fb67e85f77b87a159e47a1d3625b66b (patch)
tree8dc249860619d8e6e3b0c730dc5a778b13db8abd /.gitignore
parent55f50ddaf31fe1cb4cda4d15e387280e8f7a8242 (diff)
downloadocaml-sid-01a83e0f1fb67e85f77b87a159e47a1d3625b66b.tar.gz
fix tests and bump versionv1
Also set minimum compiler version to 4.02 for package since that’s when the bytes type was introduced.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions