gnome-shell/man
Florian Müllner 88ac08b542 man: Update options
The man page hasn't been updated in years, so the list of options ended
up being quite outdated. Most notably it's missing all wayland-related
options.

Remove obsolete options and add all the missing ones so that the list
is up to date again.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>
2020-12-28 02:25:17 +01:00
..
gnome-shell.txt man: Update options 2020-12-28 02:25:17 +01:00
meson.build
stylesheet.xsl