diff --git a/src/rep-t b/src/rep-t
deleted file mode 100755
index c0150d7b..00000000
--- a/src/rep-t
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-
-[ -d Java ] || {
-    echo "Java directory missing" >&2
-    exit 1
-}
-
-[ -f Java/Rep.class ] || {
-    echo "Java/Rep.class missing" >&2
-    exit 2
-}
-
-java -cp ./Java Rep -t
diff --git a/src/rep-t.bat b/src/rep-t.bat
deleted file mode 100644
index b4676192..00000000
--- a/src/rep-t.bat
+++ /dev/null
@@ -1,8 +0,0 @@
-@ECHO off
-
-IF NOT EXIST Java\Rep.class (
-    ECHO Rep: no such file
-    EXIT /B 1
-)
-
-java -cp .\Java Rep -t %1 %2 %3 %4 %5 %6 %7 %8 %9