projects / oweals / gnunet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0918f1) | patch
remove /usr/include from coverage analysis
authorChristian Grothoff <christian@grothoff.org>
Thu, 5 Sep 2019 12:29:33 +0000 (14:29 +0200)
committerChristian Grothoff <christian@grothoff.org>
Thu, 5 Sep 2019 12:29:33 +0000 (14:29 +0200)
commit4f13bc15113021ebf71d5d81e99bc29f8a07fc9c
tree19c3da27e9382bab1a76e34aafb6699ed7cbe7bftree | snapshot
parentb0918f1e382ac02b8529c365ab69cf6194d12fd3commit | diff
remove /usr/include from coverage analysis
contrib/scripts/coverage.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.