util.json: Make encode(decode("[]"))=="[]".
authorWaqas Hussain <waqas20@gmail.com>
Tue, 23 Apr 2013 18:41:52 +0000 (14:41 -0400)
committerWaqas Hussain <waqas20@gmail.com>
Tue, 23 Apr 2013 18:41:52 +0000 (14:41 -0400)
commita10a1ad2d6d24586e88e5c6496ce977569b16395
tree2afa485fe10866051a0008680d44b59ca2cf0311
parent48b1496f128798bb513b8f32f494843d91df9989
util.json: Make encode(decode("[]"))=="[]".
util/json.lua