Build #265 (Aug 24, 2020 9:14:00 AM)

	No changes. Changes in dependency The Overture Tool Platform root  ? → (detail) org.overture.ide.plugins.csk  ? → (detail) Overture IDE Top-level  ? → (detail) Overture IDE core plugins GUI  ? → (detail)
	Task Scanner: 2 open tasks in 6 workspace files.