Merge "Fix history preference page field editor layout"
commitc6ad7e0920c436560faaa00c972ce6d9a0816293
authorThomas Wolf <thomas.wolf@paranor.ch>
Sat, 30 Jun 2018 19:17:29 +0000 (30 15:17 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Sat, 30 Jun 2018 19:17:29 +0000 (30 15:17 -0400)
treecd0a1dae4ba2da49b79948d133cf1fad0b77bd57
parent15f528ae779f70aeac130568258fed0221979e87
parent4b5392f48ea79268f56f89d7f08b0bff513cb927
Merge "Fix history preference page field editor layout"