K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2013-08-18T22:04:52.529619Z
K 7
svn:log
V 163
Garbage collect the old calloutng repository, now that everything was
committed to HEAD. Thanks to Peter Wemm who pointed out to me the existence
of 'svn delete'.

END