[arch-commits] Commit in gnome-shell-extensions/repos (extra-any)

[Jan Steffens]

    Date: Tuesday, January 31, 2012 @ 10:57:59
  Author: heftig
Revision: 148413

db-remove: gnome-shell-extensions removed by heftig

Deleted:
  gnome-shell-extensions/repos/extra-any/