get_deployment


Description:

public unowned Deployment get_deployment (string id)

Parameters:

this

the database

id

the unique operating system identifier

Returns:

the operating system, or NULL if none is found




2022 vala-language.org