diff options
Diffstat (limited to 'disml.opam')
| -rw-r--r-- | disml.opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,5 +11,5 @@ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] ] -install: [dune install disml] +install: [] dev-repo: "git+https://gitlab.com/Mishio595/disml"
\ No newline at end of file |