[Jenkins]Jenkins

SuccessChanges

Summary

  1. Changes message on project settings (commit: db9f31e) (details)
Commit db9f31e916d08acf1fe53758b600a4a238f65762 by idhugoid
Changes message on project settings
 (commit: db9f31e)
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java