Merge branch 'master' into dev

This commit is contained in:
Romain Vimont
2022-04-28 20:46:19 +02:00
6 changed files with 371 additions and 141 deletions

View File

@@ -46,7 +46,7 @@ sudo ninja -Cbuild-auto uninstall
### `master`
The `master` branch concerns the latest release, and is the home page of the
project on Github.
project on GitHub.
### `dev`