Joachim Stolberg 2a157dc825 Fix #148 (Collider documentation is hard to follow) by means of:
- Remove the gas connection on the back of the magnets
- Add code to turn legacy magnets to the right direction
- Improve manual
2023-11-01 18:12:00 +01:00
..
2023-08-18 17:53:48 +02:00