Skip to content
Jenkins
log in
Dashboard
Pharo
Pharo8.0
#1013
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
See Fingerprints
Test Result
Open Blue Ocean
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Changes
Summary
Fixes: #5238 (
details
)
Commit
8961b1fdd7f083d09b5339267558579d83fd146a
by
stephane.ducasse
Fixes: #5238
src/EnlumineurFormatter/EFSettingChanged.class.st
src/EnlumineurFormatter/EFFormatter.class.st
(diff)
![[Jenkins]](/pharo-ci-jenkins2/static/b2678d60/images/svgs/logo.svg){kind=logo}
