]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4819 from drwells/deprecate-types-are-equal
authorDavid Wells <drwells@vt.edu>
Sun, 13 Aug 2017 23:23:19 +0000 (19:23 -0400)
committerGitHub <noreply@github.com>
Sun, 13 Aug 2017 23:23:19 +0000 (19:23 -0400)
commitd713f5bfd55da7435ff2320750996ccc3167b571
treee179360e05736d2dba450f3bef5379f2acf79208
parent6d589f54f50284bf381c43d63458824de0926d2b
parent34f54573c51aab03361de020cf90d99c61f34f6a
Merge pull request #4819 from drwells/deprecate-types-are-equal

Deprecate types_are_equal.

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.