From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 20 Aug 2016 20:45:43 +0000 (-0400)
Subject: Merge pull request #2987 from bangerth/update-CellId
X-Git-Tag: v8.5.0-rc1~752
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=821a1230a34c2d6575bb3336427912fee2eae26e;p=dealii.git

Merge pull request #2987 from bangerth/update-CellId

Update the CellId class.
---

821a1230a34c2d6575bb3336427912fee2eae26e