|The Pike repository Pike/7.3 is now splitted into Pike/7.4 and Pike/7.5. If you want to
upgrade your Pike 7.3 tree into 7.4, simply do:
find . -name Repository | xargs pike -x rsif 7.3 7.4
cvs up -dA
Updating from 7.3 to 7.5 is trickier since empty directories and deleted files
have been removed from the 7.5 repository.