Fix JSON dump field names (fixes #45) master
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 29 Nov 2017 01:05:46 +0000 (01:05 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 29 Nov 2017 01:05:46 +0000 (01:05 +0000)
commit2e52cf5fa3aaa17d8548d8d70ff1f55982e8d137
treebf7e08b6fe6dc94939a38e20331fee3a6baee6b7
parent82624c3431f4c3568813f48945d40b977dddd006
Fix JSON dump field names (fixes #45)
src/DumpFormat.hs