Author: vip Date: Mon Oct 17 11:36:20 2011 GMT Module: packages Tag: HEAD ---- Log message: - not needed anymore, script changed ---- Files affected: packages/monodevelop: monodevelop-MOZILLA_FIVE_HOME.patch (1.14 -> NONE) (REMOVED) ---- Diffs: ================================================================