]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #973 from bangerth/fix-condition
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Fri, 29 May 2015 05:46:35 +0000 (07:46 +0200)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Fri, 29 May 2015 05:46:35 +0000 (07:46 +0200)
Use a standard method to find whether a number is normal.


Trivial merge

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.