Author: lange Date: 2011-04-15 10:13:28 +0000 (Fri, 15 Apr 2011) New Revision: 6373 Removed: people/mugwump/ Log: remove old, unmaintained, obsolete branches