7857bf4 repo: Use dl.fp.org

Authored and Committed by Colin Walters 7 years ago
    repo: Use dl.fp.org
    
    This is a more canonical location and generally a better direct
    mirror, at least for me (admittedly in the US).
    
        
file modified
+3 -3