diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-04-10 18:13:17 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-04-10 18:13:17 (EDT) |
| commit | 1a920555d38021917c76886c698b5bc611879652 (patch) | |
| tree | c22be18ac46832254dbfb2608e3cb72f161f6b21 /README | |
| parent | c35153cdf907d3c8eeee087ac194cb1c437bcfe7 (diff) | |
miniprokit.sh: Update mirror.gnu.dk domain.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions