2
1
6
5
[Pharo 7.0-dev] Build #992: 22005-Breakpoints-do-not-stop-the-execution
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
1
0
1
0
[Pharo 7.0-dev] Build #991: 21999-New-taskbar-design-proposal
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
1
0
[Pharo 7.0-dev] Build #990: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
1
0
2
2
[Pharo 7.0-dev] Build #989: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
1
0
[Pharo 7.0-dev] Build #988: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
1
0
[Pharo 7.0-dev] Build #987: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
by ci-pharo-ci-jenkins2@inria.fr May 30, 2018
May 30, 2018
2
1