From: Matthias Maier Date: Sat, 3 Oct 2015 18:46:06 +0000 (-0500) Subject: Merge pull request #1710 from tjhei/test_lib_comparison X-Git-Tag: v8.4.0-rc2~347 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43207def77c7fed8ecad722b45cfb298ecbe7233;p=dealii.git Merge pull request #1710 from tjhei/test_lib_comparison change test feature comparison operators --- 43207def77c7fed8ecad722b45cfb298ecbe7233