Started 8 yr 8 mo ago
Took 3 min 7 sec
on build2
Revision: e3c747552f3c5e8d158393b834850e564174871c
Repository: git@git.projects.gwdg.de:xmleditor.git
|
Revision: e3c747552f3c5e8d158393b834850e564174871c
Repository: git@git.projects.gwdg.de:xmleditor.git
|