]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4324 from dealii/revert-4298-install_muparser_headers
authorMatthias Maier <tamiko@43-1.org>
Wed, 26 Apr 2017 19:50:03 +0000 (14:50 -0500)
committerGitHub <noreply@github.com>
Wed, 26 Apr 2017 19:50:03 +0000 (14:50 -0500)
commitc025e4d843569b199236113e3222d54accf42252
tree7542a7666701e7207e1ce4924f82e0079005bd3a
parent942ca32f9431f5fdf9c764ef9b49d0a3ca532e34
parente7b60cf90caea4a103ec858b7dd32db1941ad3bf
Merge pull request #4324 from dealii/revert-4298-install_muparser_headers

Revert "Install muparser headers"

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.