Minor format fix in documentation
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 00:18:19 +0000 (01:18 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 00:18:19 +0000 (01:18 +0100)
commitfbd5ddb615a7bfc8d5e4c16bcc9286b3fe277b57
tree2462c10fc5549c323c59a639773b8f1d459ec553
parent9e35d16e9553e03672cb903ef673e6581ec5cc0c
Minor format fix in documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/source/verific.rst