Pierre Schmitz Thu, 09 Sep 2010 06:06:40 -0700
Date: Thursday, September 9, 2010 @ 09:06:21 Author: pierre Revision: 90228
db-move: devtools removed by pierre for move to [extra] (any) Deleted: devtools/repos/extra-any/