dextool ~master (2018-04-15T20:31:52Z)

Parameters.getCustomHeader

dextoolplugininterceptbackendinterface_Parameters

Custom header to prepend generated files with.

interface Parameters
CustomHeader
getCustomHeader
(
)

Meta

Source

See Implementation

dextoolplugininterceptbackendinterface_Parameters functions
Page generated by adrdox