]> https://gitweb.dealii.org/ - dealii.git/commit
Only use progress bar in wget if available 6653/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 23 May 2018 11:35:21 +0000 (13:35 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 23 May 2018 11:57:53 +0000 (13:57 +0200)
commit16374b2b385bfc6d26d9c957b2c210e6d83d74ca
treeb95cb6d8127b0651d1eedaabb695245456c9b5d8
parentcf9e2c3fedbd0f23c7bd8e23161d6099cf97e069
Only use progress bar in wget if available
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.