From: Matthias Maier Date: Sun, 26 Apr 2015 17:18:07 +0000 (+0200) Subject: Merge pull request #878 from drwells/remove-stl-references X-Git-Tag: v8.3.0-rc1~210 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c8ce9d2b0210ea4d17fb3e28a7621e403017a98;p=dealii.git Merge pull request #878 from drwells/remove-stl-references Remove STL references --- 9c8ce9d2b0210ea4d17fb3e28a7621e403017a98