From: Daniel Arndt Date: Sun, 8 Oct 2017 20:45:19 +0000 (+0200) Subject: Merge pull request #5199 from drwells/extra-assimp-hint X-Git-Tag: v9.0.0-rc1~983 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=61f7fcffd1f0220c3ca17dcd9c44763ceaf33b87;p=dealii.git Merge pull request #5199 from drwells/extra-assimp-hint Add an extra hint for assimp. --- 61f7fcffd1f0220c3ca17dcd9c44763ceaf33b87