Richard Brooksby a6022f8b6b Catch-up merge of master into branch/2023-02-22/manual-rtd-theme		2023-10-11 12:08:54 +01:00
..
source	Catch-up merge of master into branch/2023-02-22/manual-rtd-theme	2023-10-11 12:08:54 +01:00
.p4ignore	Swap .gitignore and .p4ignore.	2022-01-11 14:34:05 +00:00
.renamed-gitignore	Swap .gitignore and .p4ignore.	2022-01-11 14:34:05 +00:00
build.txt	Adding note to manual/build.txt to prevent manual breakage.	2023-02-19 12:09:18 +00:00
Makefile	Catch-up merge of master into branch/2023-02-22/manual-rtd-theme to pick up corrections to the manual.	2023-03-05 16:00:22 +00:00
requirements.pip	Switching to the read the docs theme fixes layout problems described in github issue <https://github.com/ravenbrook/mps/issues/121>.	2023-02-27 06:26:41 +00:00