diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2017-10-23 22:42:42 +0200 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2017-10-23 22:46:10 +0200 |
| commit | 54ef1c155990bee247f083a37be9515b43709ac3 (patch) | |
| tree | 9246a70e38e040cd35d38298ee50528e1e37b12c /desktop/source/deployment/gui/dp_gui_theextmgr.cxx | |
| parent | 957e6c7968b205caf939c53942fe1c5fd64d57ef (diff) | |
loplugin:includeform: desktop
Change-Id: I2dacb21cd0c9618dadb49912e0f09c9ab576f9b0
Diffstat (limited to 'desktop/source/deployment/gui/dp_gui_theextmgr.cxx')
| -rw-r--r-- | desktop/source/deployment/gui/dp_gui_theextmgr.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/desktop/source/deployment/gui/dp_gui_theextmgr.cxx b/desktop/source/deployment/gui/dp_gui_theextmgr.cxx index 137d2358a02c..b9dd8cd947f5 100644 --- a/desktop/source/deployment/gui/dp_gui_theextmgr.cxx +++ b/desktop/source/deployment/gui/dp_gui_theextmgr.cxx @@ -34,8 +34,8 @@ #include "dp_gui_dialog2.hxx" #include "dp_gui_extensioncmdqueue.hxx" #include "dp_gui_theextmgr.hxx" -#include "dp_identifier.hxx" -#include "dp_update.hxx" +#include <dp_identifier.hxx> +#include <dp_update.hxx> #define USER_PACKAGE_MANAGER "user" #define SHARED_PACKAGE_MANAGER "shared" |