Don't kill downloads with --refresh.
treecac4f9fc800ac94f9983c6ce7547491bb9e354de
-rwxr-xr-x 909 0launch-gui
-rw-r--r-- 1214 README
-rw-r--r-- 1140 dialog.py
-rw-r--r-- 3322 download_box.py
-rw-r--r-- 523 freshness.py
-rw-r--r-- 2578 gui.py
-rw-r--r-- 1505 help_box.py
-rw-r--r-- 3298 iface_browser.py
-rw-r--r-- 2765 impl_list.py
-rw-r--r-- 6534 mainwindow.py
-rw-r--r-- 6985 properties.py
-rw-r--r-- 2608 trust_box.py