Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[dash0] chore: remove duplicated utility script
This functionality is already covered by ide-gen-proto.sh. [skip ci]
- Loading branch information