keeping old version but marking it deprecated
Description
Description
Details
Details
- Committed
richart May 4 2022, 14:50 - Pushed
gitlab-richart May 4 2022, 14:52 - Parents
- rAKA46de087fc5ed: Changing the version from real to int to avoid exact real comparaison
- Branches
- Unknown
- Tags
- References
- bugfixes/multiple_small_bug_in_contact_mechanics