| commit | fc5d88b24c1997a1c93adb3e206a6a390d2e8d11 | [log] [tgz] |
|---|---|---|
| author | Joerg Kubitz <jkubitz-eclipse@gmx.de> | Fri May 07 14:46:46 2021 +0200 |
| committer | Lars Vogel <Lars.Vogel@vogella.com> | Fri May 21 03:22:21 2021 -0400 |
| tree | a928b7a363492845f999829718e67b0a45b3667c | |
| parent | 41fc3142569fbfd4a40233da55a2b3f17cf6fa3e [diff] |
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>