https://kotlinlang.org logo
#intellij-plugins
Title
# intellij-plugins
r

raulraja

03/12/2020, 5:52 PM
Hi, I'd like to know if it's possible to contribute to the EduTools plugin. The current repo on GitHub does not seem to match the latest plugin versions and I would love to add additional languages.