diff Ui_MainWindow.ui @ 87:b8bfd1bd6c55

use a proxy if one is configured. TODO: GUI for configuring the proxy server
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 17 Nov 2010 21:22:31 +0100
parents daa2731967fe
children e5d5fc34ff2e
line wrap: on
line diff