K 10 svn:author V 5 edwin K 8 svn:date V 27 2008-05-06T23:25:46.000000Z K 7 svn:log V 139 Remove the ports-mgmt/instant-tinderbox port since its design doesn't work anymore with the more fine-grained approach of USE_ everywhere. END