Checkout
Julian Foad
committed
on 26 Sep
* tools/dist/release.py: Make repository URLs configurable externally,
useful for testing, removing the scalpel left in r1867572.