dealii/dealii — pull request #95 by luca-heltai (2014-08-19 12:35:35+00:00)
Title: new GridTools::flatten_triangulation

New GridTools::flatten_triangulation. Gives the ability to copy a flattened version of a Triangulation, with possibly different spacedims.