From: Stefano Zacchiroli Date: Wed, 19 Feb 2003 14:21:33 +0000 (+0000) Subject: - added run/'s .cvsignore ignoring *.LOG files X-Git-Tag: V_0_0_4_1~22 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bd8dc3b065591f96514d9eee03496582e6a703f;p=helm.git - added run/'s .cvsignore ignoring *.LOG files --- diff --git a/helm/hbugs/tutors/run/.cvsignore b/helm/hbugs/tutors/run/.cvsignore new file mode 100644 index 000000000..7789b92c6 --- /dev/null +++ b/helm/hbugs/tutors/run/.cvsignore @@ -0,0 +1 @@ +*.LOG