Ubuntu
gnome-shell package

  1. Bug #1030309
  2. Comment #2

Comment 2 for bug 1030309

Revision history for this message
Hans Joachim Desserud (hjd) wrote :

Thanks for reporting this issue.

Gnome-shell-extension-tool does not have a manpage in gnome-shell 3.5.4-0ubuntu1 on Ubuntu Quantal either.