botch: This is now moved to its own repository /botchgame..

Revision 938
This is now moved to its own repository /botchgame/
Committed By Garry Newman

Time to fix the svn bot to watch /botchgame.

What’s the details for Botch, if it’s publicly available that is.