Merge pull request #2647 from drgrice1/remove-old-scripts

Remove `bin/old_scripts`.
openwebwork · Dec 18, 2024 · a66592f · a66592f
2 parents 7e386f9 + a34aa5b
commit a66592f
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 1,898 deletions.
diff --git a/bin/old_scripts/timing b/bin/old_scripts/timing
diff --git a/bin/old_scripts/ww-update-config b/bin/old_scripts/ww-update-config
diff --git a/bin/old_scripts/wwaddindexing b/bin/old_scripts/wwaddindexing