Bump allowed version number after testing with IDEA 2020

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

3 stars 1 forks source link

Bump allowed version number after testing with IDEA 2020 #31

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

Currently, IDEA 2020 is in early access preview, so probably by the next MMT release it is officially published. Hence, we should bump the version number before the next MMT release, I guess.

I can do this upon the next MMT release.

ComFreek commented 4 years ago

Fixed by #32