]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1996 from drwells/remove-dealii-memory-bug-check
authorMatthias Maier <tamiko@43-1.org>
Sat, 19 Dec 2015 23:02:27 +0000 (17:02 -0600)
committerMatthias Maier <tamiko@43-1.org>
Sat, 19 Dec 2015 23:02:27 +0000 (17:02 -0600)
commit8582a6e4012e88dd708b4332ae7302d518f63d9f
treeca697b7823e00e05dc08120155ce1255ec2d7028
parent33c215164a0feb1c043ce214d06711fdf4eb69de
parent0f2df83884e24ed5c0f1cf2085f65d2d3552395f
Merge pull request #1996 from drwells/remove-dealii-memory-bug-check

Remove an unimplemented configuration option.

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.