diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-04-15 17:11:53 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-11-02 19:42:46 +0100 |
commit | 6b0f7e9da95c5510792b902a625c93b113af65ed (patch) | |
tree | d928c8ce5cbd09dfafa994e0acb9505a67f12f19 /editor/debugger | |
parent | 604abb434f6740935be669dc8152856412d9ca73 (diff) |
Rename `--export` command line argument to `--export-release`
This makes the action of exporting to release mode more explicit.
Diffstat (limited to 'editor/debugger')
0 files changed, 0 insertions, 0 deletions