diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-02 22:36:40 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-02 22:36:40 +0100 |
| commit | e5950c5c1cd8f2f35fa9c496378761667f0c3004 (patch) | |
| tree | 458113f861a44b98252fca14bac1f4a22ecd707d /editor/code_editor.h | |
| parent | efefd9b198d09149e38423f4929207e2882f631e (diff) | |
| parent | 6b0f7e9da95c5510792b902a625c93b113af65ed (diff) | |
Merge pull request #60273 from Calinou/cli-export-release-rename
Rename `--export` command line argument to `--export-release`
Diffstat (limited to 'editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions