diff options
| author | Den Delimarsky <[email protected]> | 2019-03-13 13:55:11 -0700 |
|---|---|---|
| committer | Den Delimarsky <[email protected]> | 2019-03-13 13:55:11 -0700 |
| commit | cf2564be4183280c0a31cd158b28c9b7e3bbee4b (patch) | |
| tree | 7458d083df07ae3095aa5810b54b5dc8e1f4cf68 /tools/dv | |
| parent | 391db42c817138b0b06c5e21270acdf12bab31a1 (diff) | |
Update README metadata
Diffstat (limited to 'tools/dv')
| -rw-r--r-- | tools/dv/samples/DV-FailDriver-WDM/README.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/dv/samples/DV-FailDriver-WDM/README.md b/tools/dv/samples/DV-FailDriver-WDM/README.md index f8675419..1aeb6bf9 100644 --- a/tools/dv/samples/DV-FailDriver-WDM/README.md +++ b/tools/dv/samples/DV-FailDriver-WDM/README.md @@ -1,6 +1,5 @@ --- topic: sample -name: DV-FailDriver-WDM description: Demonstrates how Driver Verifier (DV) can find errors in a WDM driver. languages: - cpp |