#1092 Change name from GenericReferenceElements to ReferenceElements
Metadata
| Property | Value |
|---|---|
| Reported by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
| Reported at | Apr 25, 2012 11:08 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
| Last edited at | Jul 30, 2012 05:58 |
| Closed by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
| Closed at | Jul 30, 2012 05:58 |
| Closed in version | 2.3 |
| Resolution | Fixed |
| Comment | In r153. |
Description
Shouldn't we deprecate the old class name and introduce the shorter ReferenceElement? At least this was planned [1]. I will do the work, if no surprises occur. Or is it already to late and the branch too close?
[1] http://users.dune-project.org/projects/22/wiki/Protokoll#GenericReferenceElement