Skip to content
GitLab
Explore
Sign in
[doc] Fix documentation of ReservedVector
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carsten Gräser
requested to merge
feature/fix-reservedvector-doc
into
master
Mar 28, 2018
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
Dune::ReservedVector is deprecated and should no longer be mentioned here.
Minor language fixes
Merge request reports
Loading