firedrakeproject/firedrake — pull request #207 by mlange05 (2014-03-27 14:04:49+00:00)
Title: Gmsh boundary ids

Re-enabling Gmsh support by adding boundary ID handling.