Add patch to swap labels for checkboxes in Options
authorgregor herrmann <gregoa@debian.org>
Wed, 11 Sep 2013 17:41:05 +0000 (19:41 +0200)
committergregor herrmann <gregoa@debian.org>
Wed, 11 Sep 2013 17:41:05 +0000 (19:41 +0200)
commit1cc2759540919361bec74d0854086fe80487ec61
treeac51dd3b0fb364d2e447d4edb36b11aecc8c0fd5
parent75fd7011bfbfb09479d4c290cb9e24c69c68d6d1
Add patch to swap labels for checkboxes in Options

→ Preferences → File.

Thanks: Vincent Fourmond for the bug report.
Closes: #722427
debian/patches/options_preferences_file.patch [new file with mode: 0644]
debian/patches/series