Settings dialog: change heading to "HTTP proxy settings".
authorgregor herrmann <gregor@toastfreeware.priv.at>
Tue, 3 Oct 2017 20:20:14 +0000 (22:20 +0200)
committergregor herrmann <gregor@toastfreeware.priv.at>
Tue, 3 Oct 2017 20:20:14 +0000 (22:20 +0200)
commit37b299c622ba40939c21e7de0a65781406cf8373
tree9e57092b79d142b8526db4aa9b75dc73d1e13ae4
parentf519c91b7a5ec4877cb7dc3d2fce47e8e7af3439
Settings dialog: change heading to "HTTP proxy settings".

Fixes: #59
src/gui/settingsdialog.ui