From 46295aa45dcda5a285480292bd4e2278b9b0d489 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Mon, 22 Nov 2021 10:29:11 -0800
Subject: [PATCH] Remove old batch file.

I'm not really supporting windows, and this was too simple to really
merit it's own script.
---
 startREPL.bat | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 startREPL.bat

diff --git a/startREPL.bat b/startREPL.bat
deleted file mode 100644
index 59825cc..0000000
--- a/startREPL.bat
+++ /dev/null
@@ -1 +0,0 @@
-python -m joy
\ No newline at end of file