]> https://gitweb.dealii.org/ - candi.git/commit
fix PATH in configuration 49/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 8 Sep 2017 12:50:06 +0000 (08:50 -0400)
committerTimo Heister <timo.heister@gmail.com>
Fri, 8 Sep 2017 12:50:06 +0000 (08:50 -0400)
commit9b70ab15046c64aeb9d8df7892a8f161c0cf68a4
treeec089511c78f1c40490c186720f25b1fc42e12ef
parent20f29ead84328ef804a5931dba8ae7a8c732ef03
fix PATH in configuration

instead of writing the current PATH, write "$PATH" by escaping it.
deal.II-toolchain/packages/git.package
deal.II-toolchain/packages/numdiff.package

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.