Ggit.IndexEntryResolveUndo.get_file – ggit-1.0 Reference Manual

get_file

Description:

public File? get_file ()

Get the file of the index entry.

Parameters:

this

a IndexEntryResolveUndo.

Returns:

a File or null.

Generated by valadoc