Remove .cvsignore, add .gitignore

[hcoop/domtool2.git] / pcre / smlnj / FFI / static / git-favicon.png

diff --git a/pcre/smlnj/FFI/.cvsignore b/pcre/smlnj/FFI/.cvsignore
deleted file mode 100644 (file)
index 526588f..0000000
--- a/pcre/smlnj/FFI/.cvsignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.sml
-*.mlb
-*.cm