add ignore file

NEVSTOP-LAB · Jun 19, 2023 · ca3378a · ca3378a
1 parent 3cdb3aa
commit ca3378a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,2 @@
+*.lvlps
+*.aliases
diff --git a/XListGraph/XListGraph.v2.0.llb b/XListGraph/XListGraph.v2.0.llb