Ggit.DiffOption.INCLUDE_TYPECHANGE_TREES – ggit-1.0 Reference Manual
Packages
ggit-1.0
Ggit
DiffOption
INCLUDE_TYPECHANGE_TREES
INCLUDE_TYPECHANGE_TREES
Description:
INCLUDE_TYPECHANGE_TREES
try to label tree transitions as type changes.