Tshepang Mbambo b570c882df make date-check lightweight ... This avoids having to write the date twice when updating date-check. Before "As of <-- 2022-07 --> July 2022" After "As of July 2022"		2022-07-30 21:47:59 +02:00
..
date-check	make date-check lightweight	2022-07-30 21:47:59 +02:00
check-in.sh	Link to Zulip search for finding the most recent check-in (#1118)	2021-04-29 17:40:25 -03:00
check_line_lengths.sh	Document how to stabilize a library feature (#1036)	2021-02-01 19:31:00 +01:00
linkcheck.sh	Remove the possible unnecessary flag	2021-04-27 13:15:39 -04:00