Simon Gaiser 0daeed847f [Jenkins] Check for missing gitignores and fix found issues 4 years ago
..
prfilter 2316c6fb52 [CI] Remove clean-check scripts from ignore list 4 years ago
run-pylint f5974b027d [CI] run-pylint: Use pylint if pylint3 is missing 4 years ago
run-shellcheck 0daeed847f [Jenkins] Check for missing gitignores and fix found issues 4 years ago