diff options
Diffstat (limited to 'desktop/source')
| -rw-r--r-- | desktop/source/deployment/gui/dp_gui_theextmgr.cxx | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/desktop/source/deployment/gui/dp_gui_theextmgr.cxx b/desktop/source/deployment/gui/dp_gui_theextmgr.cxx index c86d3e2ba90b..1d90229e7700 100644 --- a/desktop/source/deployment/gui/dp_gui_theextmgr.cxx +++ b/desktop/source/deployment/gui/dp_gui_theextmgr.cxx @@ -41,7 +41,6 @@ #include "dp_gui_dialog2.hxx" #include "dp_gui_extensioncmdqueue.hxx" #include "dp_gui_theextmgr.hxx" -#include "dp_gui_theextmgr.hxx" #include "dp_identifier.hxx" #include "dp_update.hxx" |