Remove gnunet-download-manager. Fixes #5682
authorng0 <ng0@n0.is>
Sat, 20 Apr 2019 18:42:44 +0000 (18:42 +0000)
committerng0 <ng0@n0.is>
Sat, 20 Apr 2019 18:42:44 +0000 (18:42 +0000)
commit5fab02b10baef639121723aacf3b1351e5db8003
tree8b3279d43f904f8ed115d61fa588b587bcbe1d11
parent941ec5c4fa6c6d4279b0d7546a49bae766fc6c65
Remove gnunet-download-manager. Fixes #5682
ChangeLog
README
contrib/scripts/Makefile.am
contrib/scripts/gnunet-download-manager/Makefile.am [deleted file]
contrib/scripts/gnunet-download-manager/gnunet-download-manager.scm [deleted file]
doc/man/Makefile.am
doc/man/gnunet-download-manager.1 [deleted file]