]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5894 from bangerth/use-uint8_7
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 15 Feb 2018 15:04:54 +0000 (16:04 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Feb 2018 15:04:54 +0000 (16:04 +0100)
commitf7083c9eb792de5cefe160f1aea4429df837e81a
treeb283684c1398e751b70ebc9eaea91983fc4b0f02
parent5e191978f0d7e55ab818b50439d92fdd281fc79f
parent5a1644544b5b49cb5e8bebd4995ceadcbf2add2a
Merge pull request #5894 from bangerth/use-uint8_7

Use std::uint8_t for refinement cases.

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.