Further tidying and making

2020-02-25 21:09:30 +00:00
parent 549d6ce88d
commit c4ce39b965
15 changed files with 101 additions and 68 deletions
--- a/4
+++ b/4
@@ -1,3 +1,7 @@
 .PHONY: clean
 clean:
 	rm -f .dotlock
+
+.PHONY: run
+run:
+	bash bootstrap.sh