Strip underscory stuff from JSON
authorStefano Rivera <stefano@rivera.za.net>
Sat, 17 May 2014 20:14:33 +0000 (22:14 +0200)
committerStefano Rivera <stefano@rivera.za.net>
Sat, 17 May 2014 20:15:44 +0000 (22:15 +0200)
commit8598915c56882240cebef4a68fde0fb9a37a1fe7
tree1200d123b39fc3c7212cfed4103fca81eaf59865
parent9d480e4daa18ef9c266c4fe485b9109b61a182c2
Strip underscory stuff from JSON
tools/gen_json.py