diff options
| author | Alessandro Ghedini <al3xbio@gmail.com> | 2012-01-27 21:34:49 +0100 |
|---|---|---|
| committer | Alessandro Ghedini <al3xbio@gmail.com> | 2012-01-27 21:34:49 +0100 |
| commit | 2f94591b0eca0f910484a8073403cf71f274d974 (patch) | |
| tree | 1eb06c396330950fdfd95fc3358e2e3055fd1e10 /resources/ui/preferences.ui | |
| parent | d67c54cea574bf6bb014d3e2412bd64c7ced2073 (diff) | |
| parent | a824c3e5bdab686901b02667609282e7d596a6af (diff) | |
Merge commit 'upstream/0.4.2'
Diffstat (limited to 'resources/ui/preferences.ui')
| -rw-r--r-- | resources/ui/preferences.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/ui/preferences.ui b/resources/ui/preferences.ui index e814acf..8ee988c 100644 --- a/resources/ui/preferences.ui +++ b/resources/ui/preferences.ui @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <interface> - <requires lib="gtk+" version="2.16"/> + <requires lib="gtk+" version="2.20"/> <object class="GtkWindow" id="window"> <property name="width_request">600</property> <property name="height_request">475</property> |