tree f51b24e8bd9141ab01f83e1e8de46ae141f8991c
parent 9ae9e16cc76c8e2d4eccd4164656ad993787d0fd
author Edwin Kempin <ekempin@google.com> 1553611731 +0100
committer Edwin Kempin <ekempin@google.com> 1553672242 +0100

Checks REST API documentation: Fix heading level for 'Options' section

This section describes the query options that can be specified on some
of the REST endpoints, hence it shouldn't be a subsection of the
'JSON Entities' section which describes the JSON entities.

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I8c403cac9b1d74c5a50452f4fc2f5af8a2a0c886