Florian Müllner 241011313a tools/create-toolbox: Allow skipping mutter build ... The container is useless for building or running gnome-shell unless it includes the correct mutter version, so building it by default makes sense. However a manual build can be significantly faster when there's an existing build dir, so add an option to skip the automatic build. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2713>		2023-05-16 18:20:42 +00:00
..
build	*: Fix spelling mistakes found by codespell	2020-08-21 18:25:09 +00:00
toolbox	tools/create-toolbox: Allow skipping mutter build	2023-05-16 18:20:42 +00:00