-
Committer:
Jiri Stransky
-
Date:
2013-07-12 09:01:41 UTC
-
mto:
This revision was merged to the branch mainline in
revision
15.
-
Revision ID:
git-v1:00622fe2193722a90309baf76d8e64c9828c5335
Gitignore coverage temp files
Sometimes the coverage tool generates temp files like
`.coverage.f18-tuskar.21667.397772`. They are now gitignored.