]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6613 from tamiko/rename_scripts
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 16 May 2018 22:18:25 +0000 (00:18 +0200)
committerGitHub <noreply@github.com>
Wed, 16 May 2018 22:18:25 +0000 (00:18 +0200)
commitd2c60bfe05aa7bc3dcce39821e75b5d47d5fe62d
tree2b08f2ee3dcf0e5614794bad8fbe3918d3bc5aee
parent6a982f6d2341144442249740585a6c5155f7db11
parent8484c678490b3eb46cf82c2a2e65871f85647fbf
Merge pull request #6613 from tamiko/rename_scripts

Contrib: rename download_codecov_bash.sh to download_codecov

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.