From: David Wells Date: Sun, 17 Sep 2017 23:35:15 +0000 (-0400) Subject: Merge pull request #5097 from drwells/sundials-fixes-2 X-Git-Tag: v9.0.0-rc1~1067 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6000b1d0a44240e7e86b12e428ed5c0a966eadd4;p=dealii.git Merge pull request #5097 from drwells/sundials-fixes-2 Reword the description of SUNDIALS_INCLUDE_DIRS. --- 6000b1d0a44240e7e86b12e428ed5c0a966eadd4