Minor fixes
- May 10, 2021
-
-
Matthias Puchner authored
-
Matthias Puchner authored65299464
-
Matthias Puchner authored2928348d
-
Matthias Puchner authored2d4eac38
-
This fixes a few minor issues which I found while refactoring ParticleDistribution/ParameterPool.
@j.wuttke These issues have been present already before the refactoring, so please check whether I did not destroy correct behavior.