Date: Sunday, May 1, 2011 @ 07:30:18 Author: pierre Revision: 122019 db-move: moved devtools from [testing] to [extra] (any) Added: devtools/repos/extra-any/ Deleted: devtools/repos/testing-any/