def download()

in tools/registry.py [0:0]


def download(url):
  with urllib.request.urlopen(url) as response:
    return response.read()