remove $build_number from name of directory for building source distribution

[pspp] / .gitignore

diff --git a/.gitignore b/.gitignore
index 913ec74c53037fc3ddfcaacfb11836e58a29096e..2a3d71f3a81bb03bb1dc388ac46c7923f534412d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /builds/
+/timings