diff options
Diffstat (limited to 'page_core_api.js')
| -rw-r--r-- | page_core_api.js | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/page_core_api.js b/page_core_api.js new file mode 100644 index 00000000..80975eb1 --- /dev/null +++ b/page_core_api.js @@ -0,0 +1,22 @@ +var page_core_api = +[ + [ "Overview", "page_core_api.html#page_core_overview", null ], + [ "Core", "page_core.html", null ], + [ "Global", "page_global.html", null ], + [ "Client", "page_client.html", [ + [ "Overview", "page_client.html#sec_page_client_overview", null ], + [ "Credentials", "page_client.html#sec_page_client_credentials", null ], + [ "Types", "page_client.html#sec_page_client_types", null ], + [ "Resources", "page_client.html#sec_page_client_resources", null ] + ] ], + [ "Resource", "page_resource.html", [ + [ "Overview", "page_resource.html#sec_page_resource", null ] + ] ], + [ "Node", "page_node.html", [ + [ "Overview", "page_node.html#page_node_overview", null ] + ] ], + [ "Port", "page_port.html", null ], + [ "Link", "page_link.html", [ + [ "Overview", "page_link.html#page_link_overview", null ] + ] ] +];
\ No newline at end of file |