Clone
Jendrik Johannes
committed
on 11 Jan
Remove `idea` plugin application and related workarounds