Greg King 320312e7cc 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-07-21 03:20:45 +02:00
..
checks	Made the style-check scripts send their file lists to stderr.	2022-07-21 03:20:45 +02:00
workflows