search

ietf-wg-jsonpath / draft-ietf-jsonpath-base

Development of a JSONPath internet draft
https://ietf-wg-jsonpath.github.io/draft-ietf-jsonpath-base/
Other
59 stars 20 forks source link

Fix duplicate id in generated HTML #291

Closed glyn closed 1 year ago

glyn commented 1 year ago

Commit 87397d6fbed174e88745cfb293ebbb6d8af42f38 introduced this error:

(No source line available): Warning: Duplicate id="identifiers" found in generated HTML.