Remove some obsolete scripts (#7069)

rescript-lang · Oct 4, 2024 · 9178df2 · 9178df2
1 parent 6d88e98
commit 9178df2
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 278 deletions.
diff --git a/scripts/cover.sh b/scripts/cover.sh
diff --git a/scripts/release.js b/scripts/release.js
diff --git a/scripts/shake.js b/scripts/shake.js
diff --git a/scripts/tmp.js b/scripts/tmp.js