]> https://gitweb.dealii.org/ - dealii.git/commit
Remove some unused typedefs. 3253/head
authorDavid Wells <wellsd2@rpi.edu>
Sat, 15 Oct 2016 16:03:01 +0000 (12:03 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Sat, 15 Oct 2016 16:03:01 +0000 (12:03 -0400)
commitc3b24af2b1d8300393c80f52d8f98c094b4ffba2
treecdbb5b672db8651e824a96155947616ae62a7404
parent0729d6acfc997d34b0d70357caabeb2005a2c819
Remove some unused typedefs.
source/dofs/dof_renumbering.cc
source/grid/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.