From: David Wells Date: Sat, 13 Feb 2016 18:01:26 +0000 (-0500) Subject: Merge pull request #2181 from simonsticko/step5_release_mode X-Git-Tag: v8.5.0-rc1~1317 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c22aa4c2696d5dbe1883977222d305a77fd06f8e;p=dealii.git Merge pull request #2181 from simonsticko/step5_release_mode Update description in step-5 on how to switch to release mode. --- c22aa4c2696d5dbe1883977222d305a77fd06f8e