From 678065efbe715d35548087ef182ef28571c7e09f Mon Sep 17 00:00:00 2001 From: ahcorde Date: Fri, 4 Mar 2022 10:05:58 +0100 Subject: [PATCH] make linters happy Signed-off-by: ahcorde --- src/plugins/marker_manager/MarkerManager.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/marker_manager/MarkerManager.hh b/src/plugins/marker_manager/MarkerManager.hh index f64ee4c3d..ad11254a2 100644 --- a/src/plugins/marker_manager/MarkerManager.hh +++ b/src/plugins/marker_manager/MarkerManager.hh @@ -37,8 +37,8 @@ namespace plugins /// /// * ``: Optional. Name of topic for marker service. Defaults /// to `/marker`. - /// * ``: Optional. Name of topic to receive world stats. Defaults - /// to `/world/[world name]/stats`. + /// * ``: Optional. Name of topic to receive world stats. + /// Defaults to `/world/[world name]/stats`. /// * ``: True to display warnings if the user /// attempts to perform an invalid action. Defaults to true. class MarkerManager : public Plugin