dealii/dealii — pull request #301 by bangerth (2014-12-13 04:19:10+00:00)
Title: Muparser cleanups

Nothing dramatic, just general housekeeping. See the individual commits for more information.