]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3436 from bangerth/avoid-pointless-condition
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 3 Nov 2016 22:30:59 +0000 (16:30 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 22:30:59 +0000 (16:30 -0600)
commitbf993d91a7323eaea8dc049a56ddc6daeb6d5473
tree6c9e8ea2f40c6aef20026b8e78c7f6ad0d4343d7
parent5ed0b3fa92fbb750dc145722cd407323c5d57161
parent2a43fd477ecb47e60317f2edf57311f31b4619b1
Merge pull request #3436 from bangerth/avoid-pointless-condition

Avoid a pointless comparison.

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.