Simon Hausmann a5bea16596 Add Ninja to the list of required tools (#2498) ... We have plenty of command lines that explicitly use `-GNinja`, so let's make Ninja a tool that is required. That's easier than changing all the command lines to have two variants (use XX or YY if you have Ninja installed), and we know that the dependency handling works best with Ninja. Fixes #2495 Co-authored-by: Olivier Goffart <olivier.goffart@slint-ui.com>		2023-04-11 16:35:28 +02:00
..
src	Add Ninja to the list of required tools (#2498)	2023-04-11 16:35:28 +02:00
book.toml	Change authors to Slint Developers	2022-02-02 16:21:34 +01:00