This repository was archived by the owner on Nov 23, 2024. It is now read-only.
Commit 41b4378
authored
feat: compatibility with
### Summary of Changes
Integrate API changes of [`safe-ds`
v0.13.0](https://github.com/Safe-DS/Stdlib/releases/tag/v0.13.0).safe-ds v0.13.0 (#72)1 parent 874d56b commit 41b4378
2 files changed
+528
-501
lines changed
0 commit comments