This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse the repository at this point in the history
patch 8.0.1696: coverage statistics don't work
Problem: Coverate statistics don't work. Solution: Include the xxd directory. (Christian Brabandt)
- Loading branch information
Showing 2 changed files with 3 additions and 1 deletion.