aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox
diff options
context:
space:
mode:
authorGravatar Christophe Raffalli <christophe.raffalli@univ-savoie.fr>2002-01-17 16:17:34 +0000
committerGravatar Christophe Raffalli <christophe.raffalli@univ-savoie.fr>2002-01-17 16:17:34 +0000
commit239cdb1af24c5237121adcf9b62c690b3453351d (patch)
treec21a451f00205fc30567ed052a69286f63481f8b /phox
parent09438adf6ad9bb07a4717ded1d8d3c2356e017b4 (diff)
*** empty log message ***
Diffstat (limited to 'phox')
-rw-r--r--phox/.cvsignore12
1 files changed, 12 insertions, 0 deletions
diff --git a/phox/.cvsignore b/phox/.cvsignore
new file mode 100644
index 00000000..79f631e7
--- /dev/null
+++ b/phox/.cvsignore
@@ -0,0 +1,12 @@
+config
+config.dos
+*~
+#*#
+*.o
+*.a
+*.cmo
+*.cmi
+*.cmx
+*.pho
+*.phi
+*.pht