diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-10-28 21:47:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-28 21:47:31 +0200 |
| commit | cee847a68c811fd81052a6c013bca013727068d1 (patch) | |
| tree | 973977ef360958b87fffaace2466d8b22a3b0c16 /src/check_builtin.cpp | |
| parent | 662ed4a67c13040bfc5a04fa23731649e4ba93c5 (diff) | |
| parent | 413f96553a912747be89fa79f88d82c6963acfa9 (diff) | |
Merge pull request #2156 from Kelimion/remove_opt
Remove formerly deprecated `-opt` flag.
Diffstat (limited to 'src/check_builtin.cpp')
0 files changed, 0 insertions, 0 deletions