]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7881 from masterleinad/unify_intrinsic_headers
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 2 Apr 2019 13:40:10 +0000 (07:40 -0600)
committerGitHub <noreply@github.com>
Tue, 2 Apr 2019 13:40:10 +0000 (07:40 -0600)
commitb68e137686c12cfab85b6d7f9f49ebfbfb3b4f41
tree6429288d8405f56f91e86c5f43b61d2ec1c20454
parente30919912fa01c3808897804d07196f6d6438f5b
parent3a1f07a685b04e58ad66a70d37fc748d05eb3b71
Merge pull request #7881 from masterleinad/unify_intrinsic_headers

Unify intrinsics headers

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.