From 1a920555d38021917c76886c698b5bc611879652 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Thu, 10 Apr 2014 18:13:17 -0400
Subject: miniprokit.sh: Update mirror.gnu.dk domain.

---
(limited to 'COPYING')

--
cgit v0.9.1