JsonIO: fix progress
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 14:14:29 +0000 (16:14 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 14:14:29 +0000 (16:14 +0200)
commit20d112980fab80a612c15db88706fc56eebe9f64
treea60106e29cbadf8550e959804f47fadadce9f94b
parentaa5a75d9dc79bb99773cbba0395a30d934229638
JsonIO: fix progress
Progress.java