Drop options_preferences_file.patch, fixed upstream.
authorgregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:38:12 +0000 (18:38 +0100)
committergregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:38:12 +0000 (18:38 +0100)

No differences found