chiark / gitweb /
rhodes: Look up the redundant workers using the correct query.
[rhodes] / .gitignore
1 *.d
2 *.o
3 jobs/
4 factor
5 local
6 rho
7 workers