From: Wolfgang Bangerth Date: Sun, 6 Sep 2015 17:06:30 +0000 (-0500) Subject: Merge pull request #1533 from drwells/tria-iterator-greater-than X-Git-Tag: v8.4.0-rc2~475 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=606ba376b401ca05c88683beb2f48183ee5daa87;p=dealii.git Merge pull request #1533 from drwells/tria-iterator-greater-than Add operator< to TriaRawIterator. --- 606ba376b401ca05c88683beb2f48183ee5daa87