Joerg Wunsch 74a92d7991 Try to exclude the 'onlinedocs' branch from actions ... There's no sourcecode within that branch, anyway.		2022-04-26 21:29:46 +02:00
..
build.yml	Try to exclude the 'onlinedocs' branch from actions	2022-04-26 21:29:46 +02:00
deploy.yml	Change GitHub build action to create separate artifacts for executables	2022-01-12 18:16:02 +01:00