From 63d2fa7c7b5ea258065db81e0b18b8d39ae3b5fa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Wed, 22 Sep 2004 03:17:07 +0000
Subject: [PATCH] .cvsignore

---
 .cvsignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .cvsignore

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