Gwendal Le Bihan e719f985d8 Corrected bug: .upper() would fail if GDMSESSION variable was not set		2011-08-29 15:44:29 +02:00
..
mintMenu	Corrected bug: .upper() would fail if GDMSESSION variable was not set	2011-08-29 15:44:29 +02:00