]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4622c74) | patch
More resilient to svn-URL changes.
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 11:34:31 +0000 (11:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 11:34:31 +0000 (11:34 +0000)
commit9b62ec2029bf81a9116ce1eafcaae5c1f9c711ca
tree292fc81f24eec8ccfb173c9a6d7cbdaca0463119tree | snapshot
parent4622c744ca883d0a2a308d5ec5f3f280a039af64commit | diff
More resilient to svn-URL changes.
helm/matita/scripts/profile_svn.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.