]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f89e30b) | patch
changed location of version.txt
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 15:13:41 +0000 (15:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 15:13:41 +0000 (15:13 +0000)
commit7b83798d68b4ccd05f0b9604d969a0b547bef402
tree8837492c26b8452e9f4e06f968767542c75b74eftree | snapshot
parentf89e30b4f792260fe73c013aa18559bb2b85f3e4commit | diff
changed location of version.txt
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.