gui: Mark print_startup_time() unused to avoid warning.
[pspp] / config / .gitignore
2008-07-06 Ben PfaffRename .cvsignore files to .gitignore.