diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-04-13 13:57:38 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-04-13 13:57:38 +0200 |
| commit | 93bc450db36ebb41bfcc1c0d7edf5cfedbcf0741 (patch) | |
| tree | 8924deecb33faf881d72b8a8ce72dd930e4cbfc8 /.gitignore | |
| parent | 2310a3f4747edf100b4c96737426239c893a04a9 (diff) | |
enable code coverage configure option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions