diff options
author | 2016-10-28 05:54:43 +0000 | |
---|---|---|
committer | 2016-10-28 05:54:43 +0000 | |
commit | d8c7fcfd3dd2bf331ca65ca41b593d65e4c0d97a (patch) | |
tree | cf35385f9f8ff8fb14e595cda7b46789703d6d76 /docs/userguide/index.rst | |
parent | bb5d6a119196dcfeabf141cca23b6495fc5e386e (diff) | |
parent | 3203d94f6fafd051eb648c618502aeecdd723224 (diff) |
Merge "dovetail tool: developer userguide document"
Diffstat (limited to 'docs/userguide/index.rst')
-rw-r--r-- | docs/userguide/index.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/userguide/index.rst b/docs/userguide/index.rst index 0dcf55ce..03246e7b 100644 --- a/docs/userguide/index.rst +++ b/docs/userguide/index.rst @@ -14,4 +14,3 @@ Dovetail - user guide ./01-introduction.rst ./02-certification_criteria.rst ./03-certification_progress.rst - ./04-dovetail_config_template.rst |