Florian Müllner 03a5133e8c docs: Update man page ...

Currently the man page is horribly outdated, so update to the
current set of options.

https://bugzilla.gnome.org/show_bug.cgi?id=648562

2011-06-02 15:36:04 +02:00

..

gnome-shell.1

docs: Update man page

2011-06-02 15:36:04 +02:00

Makefile.am

Distribute manual page

2010-02-22 22:09:50 -05:00