6e93d27 First set the URL according to the command line argument given else use the sources

Authored and Committed by pingou 13 years ago
file modified
+3 -2