Ignore:
Timestamp:
Nov 24, 2017, 6:58:55 AM (2 years ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
affb282
Parents:
57f96b9
git-author:
Sebastian Huber <sebastian.huber@…> (11/24/17 06:58:55)
git-committer:
Sebastian Huber <sebastian.huber@…> (11/24/17 14:27:01)
Message:

Remove coverhd.h

This header file contained timing overhead values which are hard to
maintain.

Update #3254.

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.