Ben Sturmfels 477a5d0ef5 Add linkcheck script		2024-03-20 15:54:18 +11:00
..
deploy	Make bin/deploy abort if there's an error with git push	2024-03-20 14:18:59 +11:00
linkcheck	Add linkcheck script	2024-03-20 15:54:18 +11:00