mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-07 11:49:40 +00:00
5baac38237
share/gnome/applications so we can remove the gnomehier dependency so non-gnome users don't have to install a bunch of un-needed gnome directories. - Remove WITH_MENU option from mozilla[-devel], .desktop file will always be installed now.