diff options
Diffstat (limited to 'doc/manual/server.txt')
-rw-r--r-- | doc/manual/server.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/server.txt b/doc/manual/server.txt index f6a06700..3c2fbd0e 100644 --- a/doc/manual/server.txt +++ b/doc/manual/server.txt @@ -309,3 +309,8 @@ This section needs to be expanded. */ +/** @page serverhttp OpenOCD http Server API + +This section needs to be expanded. + + */ |