From 9e1bf9513c608b32b962f5adfa1173a783ae0580 Mon Sep 17 00:00:00 2001 From: Mirko Waechter <mirko.waechter@kit.edu> Date: Wed, 19 Aug 2015 18:07:54 +0200 Subject: [PATCH] typo --- etc/doxygen/pages/GuiPlugins.dox | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/doxygen/pages/GuiPlugins.dox b/etc/doxygen/pages/GuiPlugins.dox index 83a4ed213..5aea7e242 100644 --- a/etc/doxygen/pages/GuiPlugins.dox +++ b/etc/doxygen/pages/GuiPlugins.dox @@ -1,5 +1,5 @@ /** -\page RobotAPI-GuiPlugins GUI Plugins +\page RobotAPI-GuiPlugins RobotAPI Gui Plugins The following Gui Plugins are available: -- GitLab