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)
commit893474667f318a3dc24fa98b7bf9495766224719
tree65ff9d5e6e0fd2d324ae2b0f99a13549a442be80
parent51862827757d2366eeb38aa6245137c13ee70a57
Drop options_preferences_file.patch, fixed upstream.
debian/patches/options_preferences_file.patch [deleted file]
debian/patches/series