John MacFarlane
|
e611edb7d8
|
HTML reader: avoid duplicate id on header and div.
Closes #8991.
|
2023-08-09 11:36:32 -07:00 |
|
John MacFarlane
|
e3fd2d5a03
|
Revert "HTML reader: avoid duplicating any existing identifier..."
This reverts commit e5fbddd3b6.
|
2022-10-18 12:51:34 -07:00 |
|
John MacFarlane
|
e5fbddd3b6
|
HTML reader: avoid duplicating any existing identifier...
with `auto_identifiers`.
Closes #8383.
|
2022-10-18 09:51:33 -07:00 |
|
John MacFarlane
|
03c6025379
|
Add command test for #7884.
|
2022-02-09 12:31:18 -08:00 |
|