Closed mjomble closed 2 months ago
Fixes #3
I will probably make another PR to remove all the remaining <a name="#.#"> elements, but after this gets merged, to avoid conflicts.
<a name="#.#">
Fixes #3
I will probably make another PR to remove all the remaining
<a name="#.#">
elements, but after this gets merged, to avoid conflicts.