mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 11:01:52 +01:00
3621df70ca
Remove the unnecessary retrieval and null-modifications of the preceding page. |
||
---|---|---|
.. | ||
gis0geo.cc | ||
gis0rtree.cc | ||
gis0sea.cc |