Searched defs:Plugin_manager (Results 1 – 4 of 4) sorted by relevance
130 Plugin_manager(const General_options& options) in Plugin_manager() function
59 class Plugin_manager; variable
146 Plugin_manager(const General_options& options) in Plugin_manager() function