Added --refresh option.
tree0e226a600699d2fa5ad64b4487fa254023d5a3ea
-rwxr-xr-x 896 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-- 2410 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