]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d3dd15) | patch
opps, a changelog was already there
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Nov 2007 12:52:28 +0000 (12:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Nov 2007 12:52:28 +0000 (12:52 +0000)
commita4d47369b8e3a38d2e6941635b719453ab0766ec
tree50294f911f247eeb5c4f8f7ead15f7834d0d81c7tree | snapshot
parent2d3dd15c6dd0e84bf16bb8d5d5f0bcb3899dd8c2commit | diff
opps, a changelog was already there
helm/software/ChangeLog [deleted file] blob | history
helm/software/matita/dist/ChangeLog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.