From: Wolfgang Bangerth Date: Sun, 12 Apr 2015 16:31:15 +0000 (-0500) Subject: Merge pull request #777 from bangerth/rename-boundary_indicator X-Git-Tag: v8.3.0-rc1~288 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8f078a1612a519054f9af48ab3dee2fc4c42482a;p=dealii.git Merge pull request #777 from bangerth/rename-boundary_indicator Rename boundary_indicator() to boundary_id() --- 8f078a1612a519054f9af48ab3dee2fc4c42482a