]> https://gitweb.dealii.org/ - dealii.git/commit
Removed an unused typedef. 6426/head
authorDavid Wells <wellsd2@rpi.edu>
Wed, 2 May 2018 19:12:43 +0000 (15:12 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Wed, 2 May 2018 19:12:43 +0000 (15:12 -0400)
commitcf37c76c09d9b9dddecde1df199cbaebd07bb5ff
treee4f0b25a62c746f207abd4303ad6fda3d209ee4a
parent0f93c1a21e308b62b6fb0f25b8c4c2d0d68edfa3
Removed an unused typedef.
source/distributed/tria.cc

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.