Changes have been pushed for the repository "fawkesrobotics/fawkes".
Clone: https://github.com/fawkesrobotics/fawkes.git Gitweb: https://github.com/fawkesrobotics/fawkes The branch, nlimpert/Navigator_interface_fix has been deleted was 337b86190f2d9fd333b3a1199dd4bf9c6c587431 337b86190f2d9fd333b3a1199dd4bf9c6c587431 interfaces/navigator: setup shorter names for Tolerance messages _______________________________________________ fawkes-commits mailing list fawkes-commits@lists.kbsg.rwth-aachen.de https://lists.kbsg.rwth-aachen.de/listinfo/fawkes-commits