diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-12-07 14:30:52 -1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-07 14:30:52 -1000 |
| commit | 6c4f6d7022ebdd640f2a8e4df8c4885774b9b184 (patch) | |
| tree | 0f32dc0c06e3465df77d1a8b58e12df37a8548e4 /src/shell-interface.h | |
| parent | 76ddda73d630d50839c2eef5e86a96e16625b6ed (diff) | |
| download | binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.tar.gz binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.tar.bz2 binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.zip | |
ignore unknown user sections, fixes #857 (#858)
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions