]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1826 from drwells/remove-repeated-typedef
authorDenis Davydov <davydden@gmail.com>
Mon, 2 Nov 2015 14:51:04 +0000 (15:51 +0100)
committerDenis Davydov <davydden@gmail.com>
Mon, 2 Nov 2015 14:51:04 +0000 (15:51 +0100)
commit852702498d273ad2535b449a7894fa94921387ff
tree12db9f7b8e5a8e47182efc8e452a3277aba06d1f
parentc13229d16a4cc2107eaad1b5412781125242b28a
parent896673b08631633eaedb82df3f655569c9840943
Merge pull request #1826 from drwells/remove-repeated-typedef

Remove repeated typedef.

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.