diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-07 23:09:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-07 23:09:42 +0200 |
| commit | 625105c0d136e05b965c9192f6a3cc249f5cd9ae (patch) | |
| tree | 9a8228ad2ac19585df8756b36ee474e40585ee3c /icetime/.gitignore | |
| parent | 710470f9d28891698aa015eb8c101d1cf75fc332 (diff) | |
| parent | fab366e81d3196108da6f342489b6829f979d1b1 (diff) | |
Merge pull request #222 from mbuesch/icetime-gitignore
icetime: Add generated timings-*.cc files to .gitignore and 'make clean'
Diffstat (limited to 'icetime/.gitignore')
| -rw-r--r-- | icetime/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/icetime/.gitignore b/icetime/.gitignore index 5c1b012..70d5a6b 100644 --- a/icetime/.gitignore +++ b/icetime/.gitignore @@ -1,6 +1,7 @@ icetime icetime.exe timings.inc +timings-*.cc test[0-9]* *.d *.o |