Build #172 (Nov 27, 2017 7:35:38 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 153. New zero warnings highscore: no warnings for 52 days!