Pharo-dev

By message
pharo-dev@lists.pharo.org

  • 2 participants
  • 37328 discussions
7 13
0 0
[Pharo 7.0-dev] Build #1023: 22055-Add-a-setting-to-disable-menubar
by ci-pharo-ci-jenkins2@inria.fr June 7, 2018

June 7, 2018
[Pharo 7.0-dev] Build #1022: 22086-Improve-ImageCleaner-
by ci-pharo-ci-jenkins2@inria.fr June 7, 2018

June 7, 2018
The menu bar in question
by Hilaire June 7, 2018

June 7, 2018

June 7, 2018
[Pharo 7.0-dev] Build #1020: 22076-Enhanced-WindowAnnouncement
by ci-pharo-ci-jenkins2@inria.fr June 7, 2018

June 7, 2018
[Pharo 7.0-dev] Build #1018: 22077-Remove-dead-code-in-RPackage-tests
by ci-pharo-ci-jenkins2@inria.fr June 6, 2018

June 6, 2018

June 6, 2018