diff options
Diffstat (limited to 'desktop/uiconfig/ui/extensionmanager.ui')
| -rw-r--r-- | desktop/uiconfig/ui/extensionmanager.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/uiconfig/ui/extensionmanager.ui b/desktop/uiconfig/ui/extensionmanager.ui index 17959de72da0..e0f44b2e4180 100644 --- a/desktop/uiconfig/ui/extensionmanager.ui +++ b/desktop/uiconfig/ui/extensionmanager.ui @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- Generated with glade 3.20.0 --> <interface domain="dkt"> - <requires lib="gtk+" version="3.0"/> + <requires lib="gtk+" version="3.18"/> <requires lib="LibreOffice" version="1.0"/> <object class="GtkDialog" id="ExtensionManagerDialog"> <property name="can_focus">False</property> |