xeals 8548791f31 Revert "jetbrains: update IDEA for generated plugins" ... This reverts commit d851231ee9. The change went ahead too early and the actual plugin generation system is not complete.		2020-12-09 10:36:42 +11:00
..
jetbrains	Revert "jetbrains: update IDEA for generated plugins"	2020-12-09 10:36:42 +11:00