| commit | 1acdb3f30104576c36f83d422fb67a805b0ce58a | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Tue Apr 10 21:16:32 2018 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Apr 10 21:16:32 2018 +0200 |
| tree | 919b05ec38f77e6ea1fca2bebf6262f1c35bc1cb | |
| parent | 3a21d9c7bb4d58cccd2152e319daa8f8ffa2e664 [diff] |
patch 8.0.1693: xxd is excluded from coverage statistics Problem: Xxd is excluded from coverage statistics. Solution: Don't skip the xxd directory. (Christian Brabandt)
diff --git a/src/version.c b/src/version.c index 6a8cd23..80b05fa 100644 --- a/src/version.c +++ b/src/version.c
@@ -763,6 +763,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1693, +/**/ 1692, /**/ 1691,