Merge 'master' into 'gtk3'.
[pspp] / src / ui / gui / .gitignore
1 psppire