Greg King 6ea1f8ee85 Made the style-check scripts send their file lists to stderr. ... A complete list will be shown before make shows its error message. There will be less confusion about which lines are in the list.		2022-04-18 19:47:02 -04:00
..
checks	Made the style-check scripts send their file lists to stderr.	2022-04-18 19:47:02 -04:00
workflows	add check action also to the snapshot build	2022-04-16 18:32:49 +02:00