diff options
Diffstat (limited to 'docs/search/files_6.js')
| -rw-r--r-- | docs/search/files_6.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/docs/search/files_6.js b/docs/search/files_6.js index 898fd7bca..bd3d08884 100644 --- a/docs/search/files_6.js +++ b/docs/search/files_6.js @@ -1,6 +1,4 @@ var searchData= [ - ['plugin_2ec',['plugin.c',['../plugin_8c.html',1,'']]], - ['plugin_2eh',['plugin.h',['../plugin_8h.html',1,'']]], - ['plugin_5fconfig_2eh',['plugin_config.h',['../plugin__config_8h.html',1,'']]] + ['launcher_2esh',['launcher.sh',['../launcher_8sh.html',1,'']]] ]; |