Dunedan 39f2889cf7 Support calling checkrefs.py from other dirs		2024-08-25 21:23:59 +02:00
..
dockerfiles	Adapt Jenkins Pipelines to the new build system.	2024-08-20 19:34:28 +02:00
pipelines	Support calling checkrefs.py from other dirs	2024-08-25 21:23:59 +02:00