get_local_oid


Description:

public unowned OId? get_local_oid ()

Get the local oid of the remote head.

Parameters:

this

a RemoteHead.

Returns:

the local oid or null.




2022 vala-language.org