firedrakeproject/firedrake — pull request #15 by funsim (2013-10-09 10:13:10+00:00)
Title: Issue14

This branch fixes issue 14: https://github.com/firedrakeproject/firedrake/issues/14