chiark / gitweb /
Use a proper makefile rather than the `setup' script.
[profile] / .gitignore
1 /local.mk