add makefile and clean git repo
[proth.git] / .gitignore
diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..748e98e
--- /dev/null
@@ -0,0 +1,2 @@
+proth
+todo