-
Milan Crha authored
This also makes gnome-desktop an optional dependency, which can be avoided with --disable-gnome-desktop configure option.
fa3d3c24
This also makes gnome-desktop an optional dependency, which can be avoided with --disable-gnome-desktop configure option.