Polygeist
Polygeist copied to clipboard
gitignore bug
As title, in tools/cgeist/.gitignore there is:
*.time *.exec1 *.out1
But on my machine this will never ignore the files with extension .exec1 and .out1, I think it should be simply changed to:
*.time
*.exec1
*.out1
Test output files should not even be generated in the source directories, anyhow.