Skip to content
Jenkins
log in
Jenkins
overture-development
org.overture.ide.ui
#275
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Changes message on project settings (
commit: db9f31e
) (
details
)
Commit db9f31e916d08acf1fe53758b600a4a238f65762 by
idhugoid
Changes message on project settings
(
commit: db9f31e
)
ide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java