#972 Move dune-common/dune/common/geometrytypeindex.hh to dune-geometry
Metadata
Property | Value |
---|---|
Reported by | Jö Fahlke (jorrit@jorrit.de) |
Reported at | Nov 8, 2011 18:17 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Last edited by | Jö Fahlke (jorrit@jorrit.de) |
Last edited at | Nov 9, 2011 10:56 |
Closed by | Jö Fahlke (jorrit@jorrit.de) |
Closed at | Nov 9, 2011 10:56 |
Closed in version | Unknown |
Resolution | Fixed |
Comment |
Description
dune-common/dune/common/geometrytypeindex.hh was forgotten in the move to dune-geometry.