JsonIO: progress can have a key 'meta'
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 14:39:04 +0000 (16:39 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 14:39:04 +0000 (16:39 +0200)
commit09ab69afd24eb59f49408abb532c4980a04c57ab
treee4197d9f084a013110a6f6076a483a915bcf7a87
parentd00a4a038876ff303af993d5c1c059938d6feac1
JsonIO: progress can have a key 'meta'
src/be/nikiroo/fanfix/data/JsonIO.java