Florian Müllner f5a170ce46 extensions-tool: Add common option to silence errors ... Error reporting is useful when used interactively, but often undesirable when used in scripts. Account for that with a common --quiet option, which is more convenient than redirection stderr to /dev/null. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2391		2020-04-05 13:42:50 +02:00
..
gnome-extensions.txt	extensions-tool: Add common option to silence errors	2020-04-05 13:42:50 +02:00
meson.build	extensions-tool: Move to a subproject	2019-12-18 19:13:24 +00:00
stylesheet.xsl	extensions-tool: Move to a subproject	2019-12-18 19:13:24 +00:00