Stan 393ad6c8a6 Improve windows pipeline		2024-08-23 13:08:04 +02:00
..
dockerfiles	Adapt Jenkins Pipelines to the new build system.	2024-08-20 19:34:28 +02:00
pipelines	Improve windows pipeline	2024-08-23 13:08:04 +02:00