[arch-commits] Commit in devtools/repos (extra-any)

[Pierre Schmitz]

    Date: Sunday, May 1, 2011 @ 07:30:18
  Author: pierre
Revision: 122018

db-move: devtools removed by pierre for move to [extra] (any)

Deleted:
  devtools/repos/extra-any/