Feature/marker
Adds a Marker class to be used in grid refinement. It requires error estimators to be fully functional (not yet implemented).
This merge request requires !18 (merged) to be merged prior to this.
Adds a Marker class to be used in grid refinement. It requires error estimators to be fully functional (not yet implemented).
This merge request requires !18 (merged) to be merged prior to this.