Clement Lefebvre 69475bbb38 Don't depend on a menu editor ... mintMenu also runs as fallback in Cinnamon, we don't want to pull an editor there.		2019-07-29 12:23:37 +02:00
..
linuxmint/mintMenu	Don't depend on a menu editor	2019-07-29 12:23:37 +02:00