Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 4 mo ago
Took 13 min

#1221 (Dec 21, 2019, 2:53:07 PM)

Changes
  1. Removes unnecessary API Tools filter (details)

Started by an SCM change

Revision: d32844536459fca2b5f94aed445038dbf756ee8f
Repository: git://git.eclipse.org/gitroot/viatra/org.eclipse.viatra.git
  • origin/master