diff options
| author | Mishio595 <[email protected]> | 2018-11-29 18:10:45 -0700 |
|---|---|---|
| committer | Mishio595 <[email protected]> | 2018-11-29 18:10:45 -0700 |
| commit | eaccd45894e5b519bca82662d0b950b5f1d9c598 (patch) | |
| tree | 0d08c556ca3a0399c0be1169d5f0da57b618812b /disml.install | |
| parent | Try to make it a more properly structured lib (diff) | |
| download | disml-eaccd45894e5b519bca82662d0b950b5f1d9c598.tar.xz disml-eaccd45894e5b519bca82662d0b950b5f1d9c598.zip | |
Fix all the errors from coding without merlin
Diffstat (limited to 'disml.install')
| -rw-r--r-- | disml.install | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/disml.install b/disml.install new file mode 100644 index 0000000..f80895d --- /dev/null +++ b/disml.install @@ -0,0 +1,4 @@ +lib: [ + "_build/install/default/lib/disml/META" {"META"} + "_build/install/default/lib/disml/opam" {"opam"} +] |