mintmenu/usr/lib/linuxmint
2011-08-29 15:41:36 +02:00
..
mintMenu Get the window manager from the GDMSESSION environment variable, fallback to GNOME if it's not set 2011-08-29 15:41:36 +02:00