]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58bc0e0) | patch
proper path for ps.gz doc
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:30:27 +0000 (14:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:30:27 +0000 (14:30 +0000)
commit7bb0d2dec37e9eb6a033585db5ba0e82b7644117
tree2d1a93c4e499c04417bb4f5ae4f296f77b086b88tree | snapshot
parent58bc0e01b66d6df9b5f1be840ae8d3611ae06f8fcommit | diff
proper path for ps.gz doc
helm/software/DEVEL/ocaml-http/debian/doc-base diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.