summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-09 21:33:30 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-09 22:36:18 +0100
commit346c0c91bce135215597111a0530dd7ab51b3f89 (patch)
tree54e9ffe1aec1630013dd62fad5c30ffc4b5ebf16 /.gitignore
parent30557c0fdfdc8eacf481f41ab4c97536763c0fa9 (diff)
downloadocaml-sid-f956b3a9beb80ee6068edae62b11890db22e33a6.tar.gz
bump versionv2.0
Increment major version due to API breakage.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions