2957ec5b57
1999-09-17 Martin Baulig <martin@home-of-linux.org> * configure.in: Make it work if we have GNOME and the user gave use --without-gnome (fixes bug #1735).
65 KiB
65 KiB