summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorRose Hogenson <rosehogenson@posteo.net>2025-05-18 08:17:20 -0700
committerRose Hogenson <rosehogenson@posteo.net>2025-06-13 19:14:58 -0700
commit8b3a9b8f0d80e7dd789f363deb6bb36189a31f01 (patch)
tree414ac8c234ded42f1bf4d8da7a96a4c7078db95f /.gitignore
parentcc3f514265fc7c4166b8e30fcdbb26e69286f339 (diff)
downloadsml-8b3a9b8f0d80e7dd789f363deb6bb36189a31f01.tar.zst
Add a typechecker
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cba7efc..1c60091 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
a.out
+.cm