ref: a5def38ade71a84c23154fa395375c5132be4cbf
parent: 284f87648016e19394d52aca2505ef24b50bdbca
author: smazga <[email protected]>
date: Wed Aug 5 12:33:19 EDT 2020
added .gitignore
--- /dev/null
+++ b/.gitignore
@@ -1,0 +1,4 @@
+/m9
+*.cmx
+*.cmi
+*.o