You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Maybe this can be done automatically at each release? So it is always up to date to the latest release.
Other idea to keep it in sync is to update always when a commit touches docs/map.dtd
The idea of automating it might be interesting since it was not updated for a long time now.
The text was updated successfully, but these errors were encountered:
Maybe this can be done automatically at each release? So it is always up to date to the latest release.
Other idea to keep it in sync is to update always when a commit touches docs/map.dtd
The idea of automating it might be interesting since it was not updated for a long time now.
The text was updated successfully, but these errors were encountered: