Skip to content

Add instructions on updating the mech tool#82

Merged
DavidMinarsch merged 1 commit intomainfrom docs/update-mechSep 18, 2023