Build The C Code Generator VDM distribution library sources (Nov 28, 2017 2:19:18 PM)

	Build Artifacts vdmclibdist-0.1.17-SNAPSHOT.jar 36.88 KB  view vdmclibdist-0.1.17-SNAPSHOT.pom 1.73 KB  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 164. New zero warnings highscore: no warnings for 54 days!