Florian Müllner 5c5dc03b78 build: Make bash-completion support optional ... Whether we install bash-completion support currently depends on whether the corresponding pkg-config dependency is found. Turning this into a feature option keeps that behavior by default, but also allows to explicitly enable or disable the support. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1072		2020-03-21 20:44:43 +01:00
..
extensions-tool	build: Make bash-completion support optional	2020-03-21 20:44:43 +01:00
gvc@ec5cf3e0de	gvc: Update submodule	2019-11-23 15:16:51 +01:00