gm10 aa5eeb4ec3 Preferences: Move "Always start with favorites pane" to Favorites tab		2019-02-23 21:00:22 +01:00
..
linuxmint/mintMenu	Preferences: Move "Always start with favorites pane" to Favorites tab	2019-02-23 21:00:22 +01:00