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. --- all.do | 1 - 1 file changed, 1 deletion(-) delete mode 100644 all.do (limited to 'all.do') diff --git a/all.do b/all.do deleted file mode 100644 index 6767369..0000000 --- a/all.do +++ /dev/null @@ -1 +0,0 @@ -haredo srtplay srtplay.1 -- cgit v1.2.3