philipp 87307378c6 no special treatment for 'externes boot'

2024-04-24 17:15:53 +02:00

..

boathouse.rs

no special treatment for 'externes boot'

2024-04-24 17:15:53 +02:00

mod.rs

boatshouse functionality, fixes #183

2024-03-08 13:13:20 +01:00