From: Luca Padovani Date: Tue, 19 Feb 2002 00:24:52 +0000 (+0000) Subject: ok, here is the last one X-Git-Tag: V_0_3_0_debian_8~300 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ed1dc197fc03a1df34dc4a25b39ed328ac25d685 ok, here is the last one --- diff --git a/helm/mowgli/home/html/publications/.cvsignore b/helm/mowgli/home/html/publications/.cvsignore new file mode 100644 index 000000000..dcaf71693 --- /dev/null +++ b/helm/mowgli/home/html/publications/.cvsignore @@ -0,0 +1 @@ +index.html