| commit | 52b8418a6d7afc7bc66b28b5b301bb113b94f6fc | [log] [tgz] |
|---|---|---|
| author | Edwin Kempin <ekempin@google.com> | Wed Mar 13 09:40:59 2019 +0100 |
| committer | Edwin Kempin <ekempin@google.com> | Wed Mar 13 09:40:59 2019 +0100 |
| tree | f5f31585def2c52f51ea2a58f1b4529c3cc9ea01 | |
| parent | cf0bae9e38f0315c5037cf219079c45493bb3dd3 [diff] [blame] |
REST API documentation: Fix heading level for "JSON Entities" sections Signed-off-by: Edwin Kempin <ekempin@google.com> Change-Id: I857050c7c01d8b51d4f1d7308109dfece3d7b154
diff --git a/src/main/resources/Documentation/rest-api-checkers.md b/src/main/resources/Documentation/rest-api-checkers.md index 94f2e4c..8e2ce93 100644 --- a/src/main/resources/Documentation/rest-api-checkers.md +++ b/src/main/resources/Documentation/rest-api-checkers.md
@@ -172,7 +172,7 @@ Checker names cannot be used as identifiers in the REST API since checker names may be ambiguous. -### <a id="json-entities"> JSON Entities +## <a id="json-entities"> JSON Entities ### <a id="checker-info"> CheckerInfo The `CheckerInfo` entity describes a checker.