DOKK / manpages

Man pages matching name robot-map-gui in section 1:

robot-map-gui.1.en debian 11 / mrpt-apps
robot-map-gui.1.en debian 12 / mrpt-apps