Josh Junon 0e33410ed4 update configuration to reflect new paths		2023-12-22 14:22:54 +01:00
..
check.sh	replace cranky with new clippy	2023-11-24 09:03:04 +01:00
format.sh	prettify scripts	2023-10-17 10:21:00 +02:00
next.sh	supprt gnu grep	2023-08-01 11:38:01 +00:00
release.sh	update configuration to reflect new paths	2023-12-22 14:22:54 +01:00