Closed DerMolly closed 3 years ago
Thanks for contributing 🙌!
On a second thought, I'll undo this PR and add the types to https://github.com/DefinitelyTyped/DefinitelyTyped instead. @DerMolly, let me know if you want to be added as a mantainer of the types (see https://github.com/gmunguia/DefinitelyTyped#definition-owners).
No, don't need to.
As part of HedgeDoc we wrote these type definitions to use the plugin, but we think they would have a far better home in this repository.