Bug-Database: https://github.com/MRPT/mrpt/issues
Bug-Submit: https://github.com/MRPT/mrpt/issues/new
Documentation: https://docs.mrpt.org/
Repository: git://github.com/MRPT/mrpt.git
Repository-Browse: https://github.com/MRPT/mrpt
