Skip to content

Fix installing Gnome files if examples are build.#1040

Merged
farindk merged 1 commit intomasterfrom fix-gnome-installNov 21, 2023

Commits

Commits on Nov 21, 2023