Antonin Delpeuch 9d76b04a1c Remove duplicate JSON keys. Closes #2068.		2019-06-14 11:38:24 +01:00
..
PreferenceStore.java	Remove temporary wrapping in PreferenceStore	2018-11-30 19:38:52 +09:00
PreferenceValue.java	Remove duplicate JSON keys. Closes #2068.	2019-06-14 11:38:24 +01:00
TopList.java	Jackson deserialization for PreferenceStore	2018-11-30 19:22:21 +09:00