diff options
| author | KOBAYASHI Shuji <[email protected]> | 2021-01-28 18:42:19 +0900 |
|---|---|---|
| committer | KOBAYASHI Shuji <[email protected]> | 2021-01-28 18:42:19 +0900 |
| commit | c858cba3e95f820a956f72607c9af494f70b9304 (patch) | |
| tree | bd8c01bb114f356df823a473ae425f0256a6dfa0 /src | |
| parent | 56842628b9968d2786be7b9c772ee8f8fb51248d (diff) | |
| download | mruby-c858cba3e95f820a956f72607c9af494f70b9304.tar.gz mruby-c858cba3e95f820a956f72607c9af494f70b9304.zip | |
Refine `preprocess_options`; ref d95ffb036
If we modify an option that may have been specified by users, we may
make unintended changes, so it is better not to modify it as much as
possible, IMO.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions