firedrakeproject/firedrake — pull request #375 by FabioLuporini (2014-09-30 12:49:18+00:00)
Title: Change coffee's modules names

See title