remove_holder


Description:

public void remove_holder (Holder holder)

Removes a Holder from the list of holders managed by this

Parameters:

this

a Set object

holder

the Holder to remove from this




2022 vala-language.org