yuhan6665 d850c88c63 Support ordered set in DPreference ...

Note the ordered set need to be stored internally as String,
not string set

2020-08-28 21:52:43 -04:00

..

java/me/dozen/dpreference

Support ordered set in DPreference

2020-08-28 21:52:43 -04:00

AndroidManifest.xml

mge

2019-10-11 14:17:10 +08:00