]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8f3813) | patch
svn now uses $SVNOPTIONS;
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jan 2006 13:51:05 +0000 (13:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jan 2006 13:51:05 +0000 (13:51 +0000)
commit5d900856da74f4a95da9684ec7b8e15903ce6077
treecc3d91ec8ad7a564e473863eec47b90509e423fbtree | snapshot
parente8f3813130f3ddff0cc4428032550ba880c17abdcommit | diff
svn now uses $SVNOPTIONS;
this can be useful to set the release to be checked out in the crontab
helm/matita/scripts/profile_svn.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.