gm10 ed9b94a9a8 Applications: Apply "Always start with favorites pane" option both ways		2019-02-23 20:32:43 +01:00
..
mintMenu	Applications: Apply "Always start with favorites pane" option both ways	2019-02-23 20:32:43 +01:00