This repository was archived by the owner on Jan 19, 2025. It is now read-only.
v1.93.0
## [1.93.0](https://github.com/Safe-DS/API-Editor/compare/v1.92.2...v1.93.0) (2023-11-29) ### Features * remove generation of Safe-DS stubs ([#1396](https://github.com/Safe-DS/API-Editor/issues/1396)) ([59a555b](https://github.com/Safe-DS/API-Editor/commit/59a555b66f11eaf674fba1c2af4fc0ebcc1aa375))