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