From 2eb1774f3f30ee3e766ac73a6df037b62cd56d07 Mon Sep 17 00:00:00 2001 From: Sam Nystrom Date: Wed, 16 Aug 2023 16:27:37 -0400 Subject: Replace haredo with make Make is much more widely available. --- clean.do | 1 - 1 file changed, 1 deletion(-) delete mode 100644 clean.do (limited to 'clean.do') diff --git a/clean.do b/clean.do deleted file mode 100644 index ae247ac..0000000 --- a/clean.do +++ /dev/null @@ -1 +0,0 @@ -rm -f srtplay srtplay.1 -- cgit v1.2.3