| commit | 625105c0d136e05b965c9192f6a3cc249f5cd9ae | [log] [tgz] |
|---|---|---|
| author | Clifford Wolf <clifford@clifford.at> | Fri Jun 07 23:09:42 2019 +0200 |
| committer | GitHub <noreply@github.com> | Fri Jun 07 23:09:42 2019 +0200 |
| tree | 9a8228ad2ac19585df8756b36ee474e40585ee3c | |
| 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'