source-highlight-ide (1.0-0ubuntu1~karmic1) karmic; urgency=low * Backport to karmic -- Cesare Tirabassi <email address hidden> Sat, 13 Mar 2010 15:13:39 +0100