From: Uwe Köcher Date: Wed, 7 Jun 2017 07:26:47 +0000 (+0200) Subject: Merge pull request #29 from gassmoeller/follow_user_options X-Git-Tag: v0.8.5~17 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=230b7247eb87cdc29e9ebb7f83f78c6a02da06b3;p=candi.git Merge pull request #29 from gassmoeller/follow_user_options rearranges DEAL_CONFOPTS in dealii.package to allow the user to overwrite defaults --- 230b7247eb87cdc29e9ebb7f83f78c6a02da06b3