use refs/builds instead of refs/heads
[pspp] / .gitignore
1 /builds/
2 /timings