]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c5c755) | patch
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Feb 2006 20:25:18 +0000 (20:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Feb 2006 20:25:18 +0000 (20:25 +0000)
commita3c29220901a51131f66650e05215a772ae4fa97
treeedd6e0c2224333b8a65f3a47220888924328a51atree | snapshot
parent3c5c755b014fb99412ae4ebf845409c4f2c9a9d2commit | diff
fix
helm/software/matita/scripts/profile_svn.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.