diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-05-24 22:19:43 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:22:43 +0100 |
commit | 05008c81a9652472a454f47940a6d8aa9a228538 (patch) | |
tree | c3a9225f10045dc794d43bf6e78806727fd20b9d /script.it/outline | |
parent | 38cf58ac5e1adb38a1b99ea7cdda19ef7b5e12bf (diff) |
Update
Diffstat (limited to 'script.it/outline')
-rwxr-xr-x | script.it/outline/dune | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/script.it/outline/dune b/script.it/outline/dune index db080a3..73b7998 100755 --- a/script.it/outline/dune +++ b/script.it/outline/dune @@ -5,5 +5,3 @@ (modules outline) (preprocess (pps ppx_hash js_of_ocaml-ppx)) ) - - |