]> https://gitweb.dealii.org/ - dealii-svn.git/commit
# deal with HSL; this should have been $(lib-contrib-hsl) but for a long time we
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000)
commit7c44ff7fa0024d8fea6005419ca824bd9af427eb
treee4cc2363230e458e361757fa267e60f51474ad78
parent0b600faa0a989ed20366e59219d87e07144424a9
# deal with HSL; this should have been $(lib-contrib-hsl) but for a long time we
# accidentally had $(lib-hsl) -- so we simply make both symbols available

git-svn-id: https://svn.dealii.org/trunk@19458 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/common/Make.global_options.in

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.