]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5947 from tjhei/shell_checks
authorMatthias Maier <tamiko@43-1.org>
Thu, 22 Feb 2018 20:40:58 +0000 (14:40 -0600)
committerGitHub <noreply@github.com>
Thu, 22 Feb 2018 20:40:58 +0000 (14:40 -0600)
commit6bd41929fd5bb14ae2b3139aa04fd034d6bc1945
tree217ecf511bf316f42baad45b9362924a0e6b2683
parent2c6b1d7a5a0644ee63f63407b7875309903acb7c
parentf8cb196f6caccd276f643157ff7f524ab67afdea
Merge pull request #5947 from tjhei/shell_checks

fix bash script stylistic issues

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.