Bug 573421 - Avoid local history for derived files Added a configuration whether history for derived files is kept. Off by default. Change-Id: I27eba608269c2d96827066bab86496bd1bfa20f2 Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/180356 Tested-by: Lars Vogel <Lars.Vogel@vogella.com> Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>