3 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	6ea49ef262	Specify python3	2022-03-09 11:34:13 +01:00
Tony Garnock-Jones	6782817a86	Update preserves as required	2022-03-09 11:32:27 +01:00
Tony Garnock-Jones	82cbcee377	Ditaa-based diagrams	2022-02-11 13:43:39 +01:00