You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

gravel cbe4030924 Add force flag to archive-recent.sh		2 years ago
..
archives	Add force flag to archive-recent.sh	2 years ago
hooks	dev: fix test hook output formatting	2 years ago
nginx	Add 404 page	2 years ago
systemd	Fix and automate systemd deployment	2 years ago
.gitpreserve	Preserve Doxyfile configuration	2 years ago
fetch-compare-known.sh	Update fetch-compare-known script	2 years ago
list_of_known_servers.txt	Merge dev & misc folders	2 years ago
plot-staff.r	add plotting scripts	2 years ago
rooms.sh	add plotting scripts	2 years ago
staff-interpolation.r	add plotting scripts	2 years ago