Merge pull request openwebwork#1937 from taniwallach/delete-OPL_releases

Delete obsolete bin/OPL_releases
taniwallach · Apr 11, 2023 · 05e1504 · 05e1504
2 parents ffef283 + 334d1a2
commit 05e1504
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 390 deletions.
diff --git a/bin/OPL_releases/Makefile b/bin/OPL_releases/Makefile
diff --git a/bin/OPL_releases/release.sh b/bin/OPL_releases/release.sh