]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Sep 2008 08:48:21 +0000 (08:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Sep 2008 08:48:21 +0000 (08:48 +0000)
commit418b1f26ab67b824c79d1146fdb50ca29b34c1f6
treef7666cc87c16f76d4963995b65fafc5dceb53326
parent0ad07ee93a134773c16986552dc88e4e50a437ce
...
helm/software/matita/scripts/profile_svn.sh