]> https://gitweb.dealii.org/ - dealii.git/commit
Use wget instead of curl. 6635/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 20 May 2018 08:27:08 +0000 (16:27 +0800)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sun, 20 May 2018 12:25:14 +0000 (20:25 +0800)
commitc4fc68cba0ccf892ee0d7bc2b7515c4a7fbddad9
tree4eaad18e38ffeabaccd1fd9db8610dc10e9f550a
parenta42cd942deca53230867bfbbb1f6f383b2980ca1
Use wget instead of curl.

Also show a progress bar for the download, but be otherwise quiet.
contrib/utilities/download_clang_format

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.