summaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-06 13:22:51 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-06 14:00:03 +0100
commitaeb05e247128d00681fcf2b25baa589743e44768 (patch)
tree651bc51b7c64b519e342e448e54c5ad6b8f51980 /misc
parent01a83e0f1fb67e85f77b87a159e47a1d3625b66b (diff)
downloadocaml-sid-aeb05e247128d00681fcf2b25baa589743e44768.tar.gz
fix opam build, bump versionv1.1
- Add cmdliner to deps, - set {with-test} filter on unit tests, - version 1 → 1.1.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions