Harrison Deng 87823b26d6 preferences now use object as type for serialization and no longer uses marker interface.		2018-12-05 00:03:00 -06:00
..
PreferencesManager.cs	preferences now use object as type for serialization and no longer uses marker interface.	2018-12-05 00:03:00 -06:00