Author: tilman Date: 2006-07-28 19:52:10 +0200 (Fri, 28 Jul 2006) New Revision: 1655 Removed: crux-2.2/ports/opt/cogito/ Log: cogito: killed. cogito has several nasty bugs and can happily be replaced by standalone git these days