Skip to content
Snippets Groups Projects
Commit 4b4e02a9 authored by Oliver Sander's avatar Oliver Sander
Browse files

[!139] Removed data member vector::skip

Merge branch 'master' into 'master'

ref:staging/dune-uggrid Removed vector::skip and the code that uses it. It
compiles and the few existing tests run without problems.

Fixes [#29]

See merge request [!139]

  [#29]: gitlab.dune-project.org/NoneNone/issues/29
  [!139]: gitlab.dune-project.org/staging/dune-uggrid/merge_requests/139


Closes #29
parents a0f1905d 77cb8422
No related branches found
No related tags found
1 merge request!139Removed data member vector::skip
Pipeline #22166 failed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment