Antonin Delpeuch 0332be312f Fix JSON history corruption. ... Also adds new logic to preserve the JSON representation of unknown operations, to protect from version downgrading or removal of extensions. Closes #1990.		2019-04-18 20:31:41 +01:00
..
conf	Add missing license headers	2018-12-09 12:22:40 +09:00
src	Fix JSON history corruption.	2019-04-18 20:31:41 +01:00