From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 14 Nov 2019 01:12:41 +0000 (-0600)
Subject: Merge pull request #9040 from nicola-giuliani/stl_fixup
X-Git-Tag: v9.2.0-rc1~878
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2117a79f3bc8c773a6361dc4d04d19498e584426;p=dealii.git

Merge pull request #9040 from nicola-giuliani/stl_fixup

added stl read/write functions with compatibility
---

2117a79f3bc8c773a6361dc4d04d19498e584426