chiark / gitweb /
remove slowness
[technical-committee-grs.git] / .gitignore
1 *~