From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 6 Mar 2020 03:06:49 +0000 (+0100)
Subject: Merge pull request #9585 from tjhei/use_global_cell_index_typedef
X-Git-Tag: v9.2.0-rc1~451
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5c08959ec17d4ed2bab5a812c28b755b8881db78;p=dealii.git

Merge pull request #9585 from tjhei/use_global_cell_index_typedef

use global_cell_index in many places
---

5c08959ec17d4ed2bab5a812c28b755b8881db78