distclean

neelravi · Mar 25, 2021 · 7c6a4ff · 7c6a4ff
1 parent 08f01b2
commit 7c6a4ff
Show file tree

Hide file tree

Showing 49 changed files with 273 additions and 39,939 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,6 @@
 *.o
 *.mod
+lib/
+include/
+