chiark / gitweb /
Fix label to have bare node name
[appendix-a6.git] / .gitignore
2014-02-02 Ian Jacksonwip