Author | SHA1 Message | Date |
---|---|---|
![]() |
6992fd2991 Update plugin versions to match package versions | 6 years ago |
![]() |
c235f339ae Increment API version to 6 | 6 years ago |
![]() |
fe9cada459 Increase plugin API version to 5 | 6 years ago |
![]() |
1aba1cfe6a CURA-4557 model checker is now a tool, click to activate | 7 years ago |
![]() |
50f9548da0 CURA-4557 setting up plugin | 7 years ago |