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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5b3414fe7e..5a8f6aec40 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,9 @@ # Documentation generated by doxygen or from classes.xml doc/_build/ +# Extension API dump +extension_api.json + # Javascript specific *.bc |