Scripts are not just dev

fhammerschmidt · fhammerschmidt · commit cfc95ef4de14 · 2025-08-20T00:21:16.000+02:00
diff --git a/rescript.json b/rescript.json
@@ -13,8 +13,7 @@
     },
     {
       "dir": "scripts",
-      "subdirs": true,
-      "type": "dev"
+      "subdirs": true
     }
   ],
   "package-specs": {
