fix: reverted dune.exe deletion

benodiwal · benodiwal · commit 5cd1626d905f · 2025-12-16T00:09:54.000+05:30
Signed-off-by: Sachin Beniwal &lt;s474996633@gmail.com&gt;
diff --git a/dune.exe b/dune.exe
@@ -0,0 +1,2 @@
+#!/usr/bin/env sh
+exec "$(dirname $0)/_boot/dune.exe" $@
