Florian Müllner 8f851e8adf build: Yield 'man' option to extension-tool subproject ... Turns out meson has a build-in pattern of what we are doing, namely: Set a subproject option to a parent project option of the same name. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1072		2020-03-21 20:44:43 +01:00
..
extensions-tool	build: Yield 'man' option to extension-tool subproject	2020-03-21 20:44:43 +01:00
gvc@ec5cf3e0de	gvc: Update submodule	2019-11-23 15:16:51 +01:00