Started 4 yr 5 mo ago
Took 10 sec on master

Success Build #10 (May 25, 2016 3:19:07 PM)

Started by GitLab push by Victor Bandur
Changes
  1. Renamed IO library so that there are no name clashes when the VDM IO (commit: 2659022) (details / githubweb)
Revision: 7b54768ba3027acf6bdbe7441b6461ed65cb8c8d
  • origin/master