An error occurred while fetching folder content.
Wuttke, Joachim
authored
Since RealParameterWrapper now knows its name, ParameterPool needs no longer to use a map: converted to vector, just for conciseness.
| Name | Last commit | Last update |
|---|