log

age author description
Wed, 28 Jan 2015 11:28:03 +0100 Thomas Wuerthinger Merge.
Wed, 28 Jan 2015 11:27:35 +0100 Thomas Wuerthinger Fix LocationSet - use equals for comparing LocationIdentity objects.
Wed, 28 Jan 2015 04:05:07 +0100 Thomas Wuerthinger Run eclipse format.