]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96d4e56) | patch
Removed INSTALL (not needed) and NEWS (0 sized) from document list.
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 13:47:57 +0000 (13:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 13:47:57 +0000 (13:47 +0000)
commit6043ea41066f06d23590d6f0c8d678898dbd1bd8
treed86cc99920af9ab15068a190d840503c5a130064tree | snapshot
parent96d4e564c94cb17784ed0077221dee1bf12b6e4acommit | diff
Removed INSTALL (not needed) and NEWS (0 sized) from document list.
helm/helmpot/debian/docs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.