<@U0B9XU2Q6>: Yes I have it in a separate repo, I ...

# intellij-plugins

[cedric]

@cfleming: Yes I have it in a separate repo, I have the sources, I spend a lot of time in them but it’s a pity the documentation is so hard to use