summaryrefslogtreecommitdiff
path: root/semantics
diff options
context:
space:
mode:
authorsvu <svu>2005-08-22 23:31:03 +0000
committersvu <svu>2005-08-22 23:31:03 +0000
commitadd27f5fbf03499917e6892bfa8c47b4b7cfcc0b (patch)
treedb97e9da501ecac42e362f3e3bd8cb8e25cb7e35 /semantics
parentbad7b04130f9eadd473bb0b1533c02536a759b77 (diff)
tiny cleanup
Diffstat (limited to 'semantics')
-rw-r--r--semantics/.cvsignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/semantics/.cvsignore b/semantics/.cvsignore
index 282522db..b106d5fe 100644
--- a/semantics/.cvsignore
+++ b/semantics/.cvsignore
@@ -1,2 +1,3 @@
Makefile
Makefile.in
+semantics.dir