Removed data member vector::skip (!139) · Merge requests · staging / dune-uggrid

Merged Henrik Stolzmann requested to merge henrik.stolzmann/dune-uggrid:master into master 5 years ago

See Issue `#29`.
Removed `vector::skip` and the  code that uses it. It compiles and the
few existing tests run without problems.

523a7b49

Removed data member vector::skip