aboutsummaryrefslogtreecommitdiff
path: root/etc/substitutes/ci.guix.gnu.org.pub
AgeCommit message (Expand)Author
2020-07-10maint: Remove traces of "berlin.guixsd.org"....Ludovic Courtès
2019-05-01build: Change default substitute server to "ci.guix.gnu.org"....Ludovic Courtès