Skip to content

Commit

Permalink
make linters happy
Browse files Browse the repository at this point in the history
Signed-off-by: ahcorde <[email protected]>
  • Loading branch information
ahcorde committed Mar 4, 2022
1 parent 6ab4c9b commit 678065e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/plugins/marker_manager/MarkerManager.hh
Original file line number Diff line number Diff line change
Expand Up @@ -37,8 +37,8 @@ namespace plugins
///
/// * `<topic_name>`: Optional. Name of topic for marker service. Defaults
/// to `/marker`.
/// * `<stats_topic>`: Optional. Name of topic to receive world stats. Defaults
/// to `/world/[world name]/stats`.
/// * `<stats_topic>`: Optional. Name of topic to receive world stats.
/// Defaults to `/world/[world name]/stats`.
/// * `<warn_on_action_failure>`: True to display warnings if the user
/// attempts to perform an invalid action. Defaults to true.
class MarkerManager : public Plugin
Expand Down

0 comments on commit 678065e

Please sign in to comment.