From 3d85fd797fa933c2db383ecf2153c997c98d240e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 9 Mar 2022 12:31:57 +0100 Subject: [PATCH] Remove unneeded Makefile --- Makefile | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index 4187793..0000000 --- a/Makefile +++ /dev/null @@ -1,5 +0,0 @@ -all: - -checkout: - [ -d aports ] || git clone git@git.syndicate-lang.org:synit/aports - [ -d pmaports ] || git clone git@git.syndicate-lang.org:synit/pmaports