Ggit.DiffLineType.FILE_HDR – ggit-1.0 Reference Manual
Packages
ggit-1.0
Ggit
DiffLineType
FILE_HDR
FILE_HDR
Description:
FILE_HDR
the file header.