Merge pull request #191 from whitequark/json-module-attributes
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Jul 2016 07:39:27 +0000 (09:39 +0200)
committerGitHub <noreply@github.com>
Wed, 13 Jul 2016 07:39:27 +0000 (09:39 +0200)
commit2afc72cae31720d7eacb0423a0dc87d4eccb1aa1
tree26c11b3e8bb1b2b024c86d37835e1cdd97aaa4df
parent9e5c9471e366e1abaad62525e783eb549274d951
parent546233f0e154cca0bacb4960faf54ba8d206c1fd
Merge pull request #191 from whitequark/json-module-attributes

write_json: also write module attributes