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)
2026-06-11 15:37:29 +02:00 · 2018-04-10 21:16:32 +02:00
parent 3a21d9c7bb
commit 1acdb3f301
2 changed files with 3 additions and 1 deletions
@@ -762,6 +762,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1693,
 /**/
    1692,
 /**/