.cvsignore
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:17:07 +0000 (03:17 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:17:07 +0000 (03:17 +0000)
.cvsignore [new file with mode: 0644]

diff --git a/.cvsignore b/.cvsignore
new file mode 100644 (file)
index 0000000..51fa51e
--- /dev/null
@@ -0,0 +1,2 @@
+.cm
+settings.sml
\ No newline at end of file