]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/.cvsignore
New framework for metadata generation.
[helm.git] / helm / metadata / extractor / .cvsignore
diff --git a/helm/metadata/extractor/.cvsignore b/helm/metadata/extractor/.cvsignore
new file mode 100644 (file)
index 0000000..1d5ca6b
--- /dev/null
@@ -0,0 +1,4 @@
+meta
+meta_ind
+lex.yy.c
+lex.yy_ind.c