Ggit.DiffOption.IGNORE_CASE – libgit2-glib-1.0 Reference Manual
IGNORE_CASE
Description:
IGNORE_CASE
use case insensitive filename comparison.
2022 vala-language.org