gnome-shell/man
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