- Mar 23, 2022
-
-
Matthias Schiffer authoredThe scripts directory contains most of our build system, so changing it should trigger a build of all targets.
-
- Sep 19, 2021
-
-
lemoer authored
-
- Aug 10, 2021
-
-
Martin Weinelt authored
-
The scripts directory contains most of our build system, so changing it should trigger a build of all targets.