var devdoc_index =
[
    [ "Schema operations", "devdoc-schema.html", [
      [ "Schema Create", "devdoc-schema.html#schema_create", null ],
      [ "Schema Rename", "devdoc-schema.html#schema_rename", null ]
    ] ]
];