Alexander Schwartz 75ea22bad2 Remove latest vs. archive document header (#20103) ...

This is done as the docs are no longer built twice.

Closes #19974

2023-05-03 09:16:34 +00:00

..

src

…

navbar-head.html

Remove latest vs. archive document header (#20103)

2023-05-03 09:16:34 +00:00

navbar.html

…

pom.xml

Run tests for the moved documentation (#19278)

2023-03-28 12:35:27 +02:00