Mirko Bunse b1414b2a04 Revert "TO REVERT: build gh-pages even on pushes to devel" ... This reverts commit 6ea15c30b8.		2024-06-24 15:05:49 +02:00
..
ci.yml	Revert "TO REVERT: build gh-pages even on pushes to devel"	2024-06-24 15:05:49 +02:00
pylint.yml	Create pylint.yml	2023-02-28 10:30:37 +01:00