tree 9a8228ad2ac19585df8756b36ee474e40585ee3c
parent 710470f9d28891698aa015eb8c101d1cf75fc332
author Michael Buesch <m@bues.ch> 1559940288 +0200
committer Michael Buesch <m@bues.ch> 1559940948 +0200

icetime: Add generated timings-*.cc files to .gitignore and make clean