Ggit.DiffFormatType.PATCH_HEADER – libgit2-glib-1.0 Reference Manual
PATCH_HEADER
Description:
PATCH_HEADER
just the file headers of patch.
2022 vala-language.org