Mirko Bunse 1730d5a1a9 Revert "TO REVERT: build gh-pages even on pushes to devel" ... This reverts commit c99c9903a3.		2024-07-01 18:17:58 +02:00
..
ci.yml	Revert "TO REVERT: build gh-pages even on pushes to devel"	2024-07-01 18:17:58 +02:00
pylint.yml	Create pylint.yml	2023-02-28 10:30:37 +01:00