From: Daniel Arndt Date: Mon, 22 Jun 2020 23:05:05 +0000 (-0400) Subject: Merge pull request #10569 from peterrum/n_raw_lines X-Git-Tag: v9.3.0-rc1~1403 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e8c83d7b74b4f1b4afee9e4dc3fdf7f1683cb6b0;p=dealii.git Merge pull request #10569 from peterrum/n_raw_lines Remove specialization of Tria::n_raw_lines() --- e8c83d7b74b4f1b4afee9e4dc3fdf7f1683cb6b0