]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0de121d) | 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)
commitf9f52dc8d7f34bf2ec02ffa13b7c91e2c669b5ae
tree6285bc1f5b7d3c760413d0f8ba523d544b7dc512tree | snapshot
parent0de121df33dac75fa7e5055b3a45e2b2fbeab1b1commit | diff
opps, a changelog was already there
ChangeLog [deleted file] blob | history
matita/dist/ChangeLog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.