Skip to content

Configure mirror for all the gnu packages

Javier Jardón requested to merge jjardon/mirrors into 18.08

Fixes #316 (closed)

Part of #20 (closed)

Edited by Javier Jardón

Merge request reports