Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 8 mo ago
Took 2 min 10 sec

Build #3 (Aug 19, 2020, 10:06:01 AM)

Changes
  1. #12: Use parent index from Sprotty's main package (details / githubweb)
  2. v0.9.0 (details / githubweb)

Branch indexing

Revision: 56b51b6b8943c6a70f4f81d3378f32c01db12359
Repository: https://github.com/eclipse/sprotty-layout.git
  • master