From: Wolfgang Bangerth Date: Wed, 22 Mar 2017 21:34:46 +0000 (-0600) Subject: Merge pull request #4094 from masterleinad/fix_indexset_asc_etc X-Git-Tag: v8.5.0-rc1~18 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b65b99c356282a732bb01df96e73ed6514cb7cc0;p=dealii.git Merge pull request #4094 from masterleinad/fix_indexset_asc_etc Refactor and fix IndexSet::is_ascending_and_one_to_one --- b65b99c356282a732bb01df96e73ed6514cb7cc0