Eelis/cxxdraft-htmlgen

Don't generate duplicate element IDs for index entries with the same key.

Opened this issue 4 years ago · 0 comments

Eelis commented 4 years ago

Don't generate duplicate element IDs for index entries with the same key.