diff options
Diffstat (limited to 'script.it/worker_messages/dune')
| -rwxr-xr-x | script.it/worker_messages/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script.it/worker_messages/dune b/script.it/worker_messages/dune index b4e1c2b..5b80cd3 100755 --- a/script.it/worker_messages/dune +++ b/script.it/worker_messages/dune @@ -3,5 +3,5 @@ (libraries js_of_ocaml outline - path) + script_path) ) |