]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2291 from tjhei/fix_img_downloader
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 2 Mar 2016 23:02:52 +0000 (17:02 -0600)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 2 Mar 2016 23:02:52 +0000 (17:02 -0600)
commitc8c678e09ce9f927c11319e892096926a3e69ff4
tree0fd2117c56d8d45ed74f323eea9885cc41bf87f3
parent9d20ebda4d3a456276f208dcedf6595f4b46cdee
parent2ba54584e5af3ccf2a65c943e1c5042c0adf31f4
Merge pull request #2291 from tjhei/fix_img_downloader

[8.4] fix makeofflinedoc.sh image downloading

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.