From: Matthias Maier Date: Sat, 25 May 2019 17:48:00 +0000 (-0500) Subject: Merge pull request #8284 from tamiko/disable_compilation_of_examples X-Git-Tag: v9.1.1~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a3818e5dca0495392865ba54df3f87fa8012687;p=dealii.git Merge pull request #8284 from tamiko/disable_compilation_of_examples [9.1.1] CMake: Disable default compilation of examples --- 3a3818e5dca0495392865ba54df3f87fa8012687