Skip to content

Commit

Permalink
Update dune.inc
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
  • Loading branch information
nojb committed Jul 22, 2019
1 parent 004c35f commit efe6e71
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion test/blackbox-tests/dune.inc
Original file line number Diff line number Diff line change
Expand Up @@ -1904,7 +1904,6 @@
(alias exe-name-mangle)
(alias exec-cmd)
(alias exec-missing)
(alias explicit_js_mode)
(alias external-lib-deps)
(alias extra-lang-line)
(alias fallback-dune)
Expand Down

0 comments on commit efe6e71

Please sign in to comment.