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

[Pierre Schmitz]

    Date: Sunday, October 17, 2010 @ 08:40:05
  Author: pierre
Revision: 95237

archrelease: remove extra-any

Deleted:
  devtools/repos/extra-any/