From: Claudio Sacerdoti Coen Date: Fri, 1 Dec 2000 11:41:04 +0000 (+0000) Subject: other files missing from 20001129 X-Git-Tag: nogzip~121 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6e466fff8887cef9612a5b2ffb78c71ec5eee4ec;p=helm.git other files missing from 20001129 --- diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/.cvsignore b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/.cvsignore new file mode 100644 index 000000000..bc09d7470 --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/.cvsignore @@ -0,0 +1,3 @@ +olabl-src +browser +.depend \ No newline at end of file diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/.cvsignore b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/.cvsignore new file mode 100644 index 000000000..a2d75da3e --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/.cvsignore @@ -0,0 +1,3 @@ +.depend radtest +*_parser.ml *_parser.mli +*_lexer.ml diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/unison/.cvsignore b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/unison/.cvsignore new file mode 100644 index 000000000..31706abd2 --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/unison/.cvsignore @@ -0,0 +1 @@ +unison-*