]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/docs
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / helmpot / debian / docs
index 6f12db50845a5d0b754f308018aa900d35da548f..1632cafb555a71c8aefcb8a483a58231b1dbb4db 100644 (file)
@@ -1,2 +1,4 @@
 AUTHORS
+INSTALL
+NEWS
 README