Remove old batch file.

I'm not really supporting windows, and this was too simple to really merit it's own script.
2021-11-22 10:29:11 -08:00 · 2021-11-22 10:29:11 -08:00 · 46295aa45d
parent 0bbe9c890e
commit 46295aa45d
1 changed files with 0 additions and 1 deletions
--- a/startREPL.bat
+++ b/startREPL.bat
@ -1 +0,0 @@
-python -m joy