depcheck.py: make the mirror configurable
authorHelmut Grohne <helmut@subdivi.de>
Tue, 26 Feb 2019 06:48:03 +0000 (07:48 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 26 Feb 2019 06:48:03 +0000 (07:48 +0100)
commitfee81e86d0bda64b6a5b82c46273b7e9980b23bd
tree5642fa8eedfab19519bd03f61e3d8ed69c55c21a
parentb7ad460982117dc1f9ba101d00d4c2af1bb8c639
depcheck.py: make the mirror configurable
depcheck.py