This repository has been archived by the owner on Nov 29, 2023. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: remove generation of Safe-DS stubs (#1396)
### Summary of Changes Remove the generation of Safe-DS stubs since it's based on the old Xtext implementation of the DSL. This will instead become a [standalone command line tool](https://github.com/Safe-DS/Stub-Generator). --------- Co-authored-by: megalinter-bot <129584137+megalinter-bot@users.noreply.github.com>
- Loading branch information