remove $build_number from name of directory for building source distribution
[pspp] / .gitignore
1 /builds/
2 /timings