Skip to content
Snippets Groups Projects
Commit 3bc5cb58 authored by Holger Levsen's avatar Holger Levsen
Browse files

rename documentation category 'Comparison protocol' to 'Verification'

parent d45169b5
No related branches found
No related tags found
No related merge requests found
......@@ -34,7 +34,7 @@
- build-toolchain-from-source
- virtual-machine-drivers
- formal-definition
- title: Comparison protocol
- title: Verification
docs:
- checksums
- embedded-signatures
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment