aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/.cvsignore
diff options
context:
space:
mode:
Diffstat (limited to 'phox/.cvsignore')
-rw-r--r--phox/.cvsignore13
1 files changed, 0 insertions, 13 deletions
diff --git a/phox/.cvsignore b/phox/.cvsignore
deleted file mode 100644
index f0b14b7a..00000000
--- a/phox/.cvsignore
+++ /dev/null
@@ -1,13 +0,0 @@
-config
-config.dos
-*~
-#*#
-*.o
-*.a
-*.cmo
-*.cmi
-*.cmx
-*.pho
-*.phi
-*.pht
-*.math.tex