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