]> https://gitweb.dealii.org/ - dealii.git/commit
# deal with HSL; this should have been $(lib-contrib-hsl) but for a long time we
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000)
commitfaf7c1008ff797d7aa76e106988c55a9e51c208e
tree9da829f36667ef40f3b32819d17146da61301137
parent51f0b9b9f2eef480f040117ef575946a8553cd1a
# 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.