chiark / gitweb /
Add some detritus from the debian build to .gitignore
[innduct.git] / .stamp-patched