]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14139 from bangerth/increment
authorPeter Munch <peterrmuench@gmail.com>
Fri, 15 Jul 2022 07:58:32 +0000 (09:58 +0200)
committerGitHub <noreply@github.com>
Fri, 15 Jul 2022 07:58:32 +0000 (09:58 +0200)
commit4ee08350dabe5f618b16aac77ee6a095c22b7e31
tree7b3089c63e8ea40acd731411a859d3998d571de1
parentcf91e1258a6fcd408bd2e7de2cdee94781e60f45
parent01c8521c902561131250fa3df4128f79dad20816
Merge pull request #14139 from bangerth/increment

Use pre-increment operator.

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.