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
build.txt
Makefile
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