Ggit.IndexEntry.set_dev – libgit2-glib-1.0 Reference Manual
set_dev
Description:
public
void
set_dev
(
uint
dev)
Set the dev of the index entry.
Parameters:
this
a
IndexEntry
.
dev
the dev.
2022 vala-language.org