summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2014-08-03 20:28:51 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2014-08-03 20:30:15 +0100
commitac221d67c7227d43ad69f8a9a291411d15cefd41 (patch)
treed85876eae7b68061336e6d961c9eb03657ec4dc6 /Makefile
parent27770bb8b01de8961513430402d3efa68873b5e6 (diff)
Use curl to download things rather than dget; do our own processing of the files
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions