diff options
| author |   shangxdy <shang.xiaodong@zte.com.cn> | 2017-03-11 01:08:53 +0800 |
|---|---|---|
| committer | shangxdy <shang.xiaodong@zte.com.cn> | 2017-03-11 01:11:25 +0800 |
| commit | 61a6e142120e622eb74751c4ff1ba9fa9ffceba4 (patch) | |
| tree | 038887338cdbdd27d406813701c5b529e5b07e8b /docs/developer/design/verigraph.rst | |
| parent | 9c41f06b30811b8f2d21a3fb5032ad5f2ecb2682 (diff) | |
Add apigateway docs
Add documents for apigateway.
JIRA:PARSER-123
Change-Id: Ibe8ebd6e3a3f62d58d8da0da4d9be8ceb673fb7b
Signed-off-by: shangxdy <shang.xiaodong@zte.com.cn>
Diffstat (limited to 'docs/developer/design/verigraph.rst')
| -rw-r--r-- | docs/developer/design/verigraph.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/developer/design/verigraph.rst b/docs/developer/design/verigraph.rst index d364091..1362e23 100644 --- a/docs/developer/design/verigraph.rst +++ b/docs/developer/design/verigraph.rst @@ -1,9 +1,9 @@ .. This work is licensed under a Creative Commons Attribution 4.0 International License. .. http://creativecommons.org/licenses/by/4.0 -================= +================ Parser verigraph -================= +================ This document provides a description of VeriGraph, a formal verification tool for service graphs. |