diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-25 21:26:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-25 21:26:06 -0700 |
commit | 2069d956851667718c45353f41a3d4aa2b8e7c73 (patch) | |
tree | 425cae63fbd63a0080b133619dcefb605b2a0143 /INSTALL | |
parent | d6fa6bb3fbe4d81d90d76140b6a4b210b36e91d7 (diff) |
cmake: Exclude examples for coverage target. (#2535)
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions