Commit History

Author SHA1 Message Date
  Lipu Fei 6992fd2991 Update plugin versions to match package versions 6 years ago
  Ghostkeeper c235f339ae Increment API version to 6 6 years ago
  Aleksei S fe9cada459 Increase plugin API version to 5 6 years ago
  Jack Ha 1aba1cfe6a CURA-4557 model checker is now a tool, click to activate 7 years ago
  Jack Ha 50f9548da0 CURA-4557 setting up plugin 7 years ago