Hugo Locurcio 6b0f7e9da9 Rename --export command line argument to --export-release ...

This makes the action of exporting to release mode more explicit.

2022-11-02 19:42:46 +01:00

..

ci

CI: Refactor Android workflow, use pre-installed SDK and NDK

2020-10-22 17:21:59 +02:00

dist

Rename --export command line argument to --export-release

2022-11-02 19:42:46 +01:00

hooks

Style: Ensure consistent formatting with clang-format 15

2022-09-21 12:48:58 +02:00

scripts

Fix dotnet format

2022-10-12 15:55:10 +02:00