Skip to content

2024.2 update

Hulter, J.G. (Jelle, Student ) requested to merge s2240122/intellijml:2024.2 into master
  • Updated to IntelliJ Platform Plugin SDK 2.0.1
  • Bumped plugin compatability version to 2024.2
  • Fixed issue with methods which have an array return type where \return was used in the JML

Merge request reports