redrield
02/16/2020, 8:07 PMImran/Malic
02/17/2020, 2:11 PMintellij {
version = "<Your version>" // 2019.3 or higher
pluginName = "My Ide plugin"
plugins = ["io.arrow-kt.arrow"]
}
But I am not sure if that is the correct published identifier for the ide-plugin in plugins
.
@Rachel might know more. 🙂Imran/Malic
02/17/2020, 2:13 PMRachel
02/17/2020, 2:19 PMRachel
02/17/2020, 2:20 PMarrow-meta-examples
repository 👍redrield
02/17/2020, 4:11 PMImran/Malic
02/17/2020, 4:31 PMredrield
02/17/2020, 4:33 PMImran/Malic
02/17/2020, 4:40 PMImran/Malic
02/17/2020, 7:05 PM