chore(release): 1.93.0 [skip ci]

## [1.93.0](v1.92.2...v1.93.0) (2023-11-29) ### Features * remove generation of Safe-DS stubs ([#1396](#1396)) ([59a555b](59a555b))
Safe-DS · Nov 29, 2023 · 15cfa1c · 15cfa1c
1 parent 2fcb3f8
commit 15cfa1c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -1,3 +1,10 @@
+## [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))
+
 ## [1.92.2](https://github.com/Safe-DS/API-Editor/compare/v1.92.1...v1.92.2) (2023-04-20)