pymor/dune-gdt — pull request #30 by tobiasleibner (2014-11-12 13:35:19+00:00)
Title: Space interface refactor

Not intended to be checked in right now.