diff options
author | Sam Clegg <sbc@chromium.org> | 2020-01-08 19:15:17 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-08 19:15:17 -0800 |
commit | 168ba9100b8168782668462f87540dfea16be26d (patch) | |
tree | ee4b6089a4a48b1c481d4d35763d44667a9261dc /.github | |
parent | 82e64ba214f2978b45b053331c13e19e4d659f4e (diff) | |
download | wabt-168ba9100b8168782668462f87540dfea16be26d.tar.gz wabt-168ba9100b8168782668462f87540dfea16be26d.tar.bz2 wabt-168ba9100b8168782668462f87540dfea16be26d.zip |
Add default output name for wast2json (#1287)
Without this the default was to write the wasm files but not the json
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions