]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #40 from tjhei/remove_unused_options
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 3 Jul 2017 09:25:26 +0000 (11:25 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2017 09:25:26 +0000 (11:25 +0200)
commit29075e4ed61437ccfe41ae32fd7d1dc4f73be04a
tree906a49158aed60515a9ea7313c0ec2e37ef9949f
parentf98a805d154313cbce6ce1b4d160b18690b42688
parent74fd2d59aa8cbff8f274b1f2ba13a090895348df
Merge pull request #40 from tjhei/remove_unused_options

remove unused deal.II options

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.