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

[Pierre Schmitz]

    Date: Monday, February 22, 2010 @ 21:14:29
  Author: pierre
Revision: 69860

db-move: devtools removed by pierre for move to extra

Deleted:
  devtools/repos/extra-any/