Skip to content
[Jenkins]Jenkins
log in
Started 6 yr 0 mo ago
Took 7.9 sec on built-in

#40 (Apr 4, 2018, 10:24:23 PM)

Changes
  1. Fix link to devOpen in footer (details / githubweb)

Started by user Daryl Maier

Revision: b01c1b4e2905bd1515f93ecb1df0382cadf7fe2d
Repository: https://github.com/eclipse/omr.website.git
  • origin/master