This repository has been archived by the owner on Nov 23, 2024. It is now read-only.
feat: compatibility with safe-ds
v0.15.0#80
Merged
lars-reimann merged 4 commits intomain from 0_15_0Jul 14, 2023
+558-18