From: Daniel Arndt Date: Sun, 26 Jan 2020 02:02:27 +0000 (-0500) Subject: Merge pull request #9419 from GrahamBenHarper/graham_dev_clean_fepoly X-Git-Tag: v9.2.0-rc1~613 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=33e373ee0906b7478e01446afec057c984030673;p=dealii.git Merge pull request #9419 from GrahamBenHarper/graham_dev_clean_fepoly Remove seemingly unused code in fe_poly.cc --- 33e373ee0906b7478e01446afec057c984030673