]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9932 from tjhei/tidy_clang10fixes
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 21 Apr 2020 17:33:09 +0000 (19:33 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Apr 2020 17:33:09 +0000 (19:33 +0200)
commit86182d4e424ef2dba868be94d8a45e24dda7cb53
treec1d7c4fbc48ef7a94aac186b08b5db84ea17843d
parenta3408abb8bee38929c1fc295911e7259a63d00eb
parentb0d44f6f447a0a691f9168f51a989f63cd2dddda
Merge pull request #9932 from tjhei/tidy_clang10fixes

small clang-tidy fix

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.