Michael Webster 6f69d0e499 Use gsettings for recent and favorite apps ... during migration, - rename the old favorites file - delete the old recent file		2020-03-30 19:30:54 -04:00
..
linuxmint/mintMenu	Use gsettings for recent and favorite apps	2020-03-30 19:30:54 -04:00