diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2018-12-16 23:57:16 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2018-12-17 00:02:51 +0100 |
commit | f9f98ba58fa925b12698ae24e895da95d8ebbb3a (patch) | |
tree | accf32b093199e47ac399a2716a153901c420319 | |
parent | 317bdf8f2b49be79ac63d55220217267c6048bc5 (diff) | |
download | ocaml-sid-master.tar.gz |
https://github.com/ocaml/opam-repository/pull/13118#pullrequestreview-183576751
Suggested-By: @mseri on Github
-rw-r--r-- | sid.opam | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,4 +25,5 @@ build: [ ["ocaml" "setup.ml" "-doc"] {with-doc} ] install: [make "install"] +remove: ["ocamlfind" "remove" "sid"] run-test: [make "test"] |