tools: delete some scripts that no longer serve a purpose

honestly I had no idea any of these things were there
vladkinoman · Mar 25, 2021 · ecef9cc · ecef9cc
1 parent f65b5b6
commit ecef9cc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 71 deletions.
diff --git a/tools/check-glade-visible b/tools/check-glade-visible
diff --git a/tools/run-tests b/tools/run-tests