hashdist/hashstack — pull request #166 by johannesring (2014-03-19 16:06:06+00:00)
Title: Update to fenics-dev

This PR updates the fenics packages to the latest master branches from Bitbucket. It also removes ufc, since ufc has been merged into ffc upstream.