Georg Lauterbach 8a4329ae9f scripts: revised linting script (#2737) ... The new version uses our `log.sh` helper to simplify logging significantly. Moreover, the script was adjusted to the current style and the GitHub workflow was streamlined. The workflow is ot providing the version anymore (which was useless anyway), and has been compacted.		2022-08-22 16:22:46 +02:00
..
.ecrc.json	make setup.sh completely non-interactive (#2201)	2021-09-21 08:51:59 +02:00
.hadolint.yaml	MacOS linting & testing support + docs (#2001)	2021-06-07 14:58:34 +02:00
lint.sh	scripts: revised linting script (#2737)	2022-08-22 16:22:46 +02:00