diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-10-21 09:43:39 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-10-21 09:43:39 +0200 |
| commit | f4c3192d0a558cae80b1e601b64deb0c6ae3a0ff (patch) | |
| tree | a4b286d2edfc32f66e52c0f17e39fcc5ac38d739 /misc/scripts | |
| parent | dc81583fb78ae625e8ae7fe9c1cdc42ede653afa (diff) | |
Main: Fixup --dump-extension-api after #54017
That removal was correct, but triggered a bug in our messy-as-heck main.cpp
detection logic for editor/project manager/project/command line tool...
Fixing this is for another day.
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions