added a makefile to the wiki

Jaap Marsman 2022-11-11 21:20:46 +08:00
parent ef635a79e9
commit 1fef18b92c

4
makefile Normal file

@ -0,0 +1,4 @@
git:
git add -A
git commit -m "$m"
git push