chiark / gitweb /
Fix label to have bare node name
[appendix-a6.git] / .gitignore
1 *~