diff options
| author | Thomas Lively <tlively@google.com> | 2024-03-12 15:56:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-12 22:56:37 +0000 |
| commit | 3edc08c80a135b69d20235cbb620c48109d7b866 (patch) | |
| tree | 45f9fc11bc528a7316b6ad1df896d868c8873649 /src/shell-interface.h | |
| parent | f3eceb763541524e439e2c5fb607dbe1b603e4c7 (diff) | |
| download | binaryen-3edc08c80a135b69d20235cbb620c48109d7b866.tar.gz binaryen-3edc08c80a135b69d20235cbb620c48109d7b866.tar.bz2 binaryen-3edc08c80a135b69d20235cbb620c48109d7b866.zip | |
Remove legacy GC encodings (#5874)
It was previously possible to opt in to using the legacy GC opcodes with a build
time flag. Now that WasmGC has shipped and users have migrated to the standard
opcodes, remove the option to use the legacy encodings.
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions