Helmut Eller 5eb8f34dbb Un-rename .gitignore		2025-09-13 10:03:13 +02:00
..
source	Un-rename .gitignore	2025-09-13 10:03:13 +02:00
.gitignore	Un-rename .gitignore	2025-09-13 10:03:13 +02:00
.p4ignore	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	Fixing file name in leader comment in response to review <https://github.com/ravenbrook/mps/pull/166#issuecomment-1771196393>.	2023-10-20 14:08:17 +01:00