Andrey Kurilin 647263030f [docs] reduce sphinx warnings ...

Change-Id: I94701b83af06269d0264c723945372aeb0697faa

2017-02-07 15:28:53 +02:00

..

add_new_reporter.rst

[docs] reduce sphinx warnings

2017-02-07 15:28:53 +02:00

add_support_for_new_tool.rst

[doc][verify] Some more changes in docs before release

2017-01-26 13:58:07 +04:00

index.rst

[docs] Describe verification component

2017-01-24 19:07:38 +02:00

migrate_from_old_design.rst

[docs] reduce sphinx warnings

2017-02-07 15:28:53 +02:00