From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:31:04 +0000 (+0000) Subject: added missing BUGS file X-Git-Tag: v0_3_99~145 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=de2d3c16344df6b3463dd240ac05c7ba156f17f8 added missing BUGS file --- diff --git a/helm/DEVEL/gdome_xslt/BUGS b/helm/DEVEL/gdome_xslt/BUGS new file mode 100644 index 000000000..e69de29bb