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/?a=commitdiff_plain;h=de2d3c16344df6b3463dd240ac05c7ba156f17f8;hp=b46f5a395bc78ea156ab2381d917608049493f1d;p=helm.git 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