WIP: [ReferenceElement] Remove magic to emit deprecation warning for de-ref
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
WIP: [ReferenceElement] Remove magic to emit deprecation warning for de-ref
Christoph Grüninger
requested to merge
feature/remove-ref-element-deprecation-magic
into
master
Feb 25, 2020
Overview
2
Commits
2
Pipelines
2
Changes
2
This was alread deprecated in Dune 2.6.
Merge request reports
Loading