]> https://gitweb.dealii.org/ - candi.git/commit
remove unused deal.II options 40/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2017 09:12:47 +0000 (11:12 +0200)
committerTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2017 09:12:47 +0000 (11:12 +0200)
commit74fd2d59aa8cbff8f274b1f2ba13a090895348df
tree906a49158aed60515a9ea7313c0ec2e37ef9949f
parentf98a805d154313cbce6ce1b4d160b18690b42688
remove unused deal.II options

several options no longer exist in deal.II since 8.5, so remove them.
candi.cfg
deal.II-toolchain/packages/dealii.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.