diff options
author | Ben Smith <binjimin@gmail.com> | 2017-11-13 18:54:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-13 18:54:03 -0800 |
commit | 76affd0d17e3f0ec9e86b960256e3f6d21c62062 (patch) | |
tree | d25d8d612b2640f831bcfc89fcab3d3b54b30a2a /src/binary-reader-objdump.cc | |
parent | 500b617b1c8ea88a2cf46f60205071da9c7569bc (diff) | |
download | wabt-76affd0d17e3f0ec9e86b960256e3f6d21c62062.tar.gz wabt-76affd0d17e3f0ec9e86b960256e3f6d21c62062.tar.bz2 wabt-76affd0d17e3f0ec9e86b960256e3f6d21c62062.zip |
Use `.wat` extension for wast2json-generated files (#669)
Fixes #668.
Diffstat (limited to 'src/binary-reader-objdump.cc')
0 files changed, 0 insertions, 0 deletions