Searched refs:default_plugin_dir_name (Results 1 – 5 of 5) sorted by relevance
149 extern const char* default_plugin_dir_name (void);
148 plugin_name = concat (default_plugin_dir_name (), "/", in add_new_plugin()871 default_plugin_dir_name (void) in default_plugin_dir_name() function
141 extern const char* default_plugin_dir_name (void);
207 plugin_name = concat (default_plugin_dir_name (), "/", in add_new_plugin()1002 default_plugin_dir_name (void) in default_plugin_dir_name() function
419 calling @code{default_plugin_dir_name ()}.