upgrade Sphinx to 7.3.7

MapServer / MapServer-documentation

Source repository for the MapServer documentation, for the live website. Please submit pull requests to the 'main' branch.

https://mapserver.org

Other

34 stars 69 forks source link

Closed jmckenna closed 5 months ago

jmckenna commented 5 months ago

also remove the sphinx-removed-in extension, and use the new native versionremoved property