web: Removed dead demon.nl mirror.
authorWerner Koch <wk@gnupg.org>
Wed, 19 Nov 2014 09:34:32 +0000 (10:34 +0100)
committerWerner Koch <wk@gnupg.org>
Fri, 21 Nov 2014 13:29:22 +0000 (14:29 +0100)
commit871820f8bdffce5c3f09d969ec54b638cb773cd2
tree1a4f517d6cf4fd0827e280bd2e2c15d2dfccc47c
parent797c15a5758775d5d5022cc8cb8e4642bdabeb89
web: Removed dead demon.nl mirror.

See
 http://lists.gnupg.org/pipermail/gnupg-devel/2014-November/029113.html
web/download/mirrors.org