src/config.rs: default to archive.org, not purl.org#253

Merged

pkgw merged 1 commit intotectonic-typesetting:masterfrom pkgw:direct-archive-link

Nov 2, 2018

Commits on Nov 2, 2018

src/config.rs: default to archive.org, not purl.org
pkgw
committed