Remove unneeded Makefile

2022-03-09 12:31:57 +01:00 · 2022-03-09 12:31:57 +01:00 · 3d85fd797f
parent 699a80e426
commit 3d85fd797f
1 changed files with 0 additions and 5 deletions
--- a/5
+++ b/5
@ -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