Ignore .history (#22)

anoma · Dec 14, 2022 · e04f0df · e04f0df
1 parent a7c301a
commit e04f0df
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 /docs/
 .juvix-build
+.history