Fabio Manganiello a6488e15fe Don't treat the execute tab as a special tab in the web panel, ... otherwise configurations with enabled_plugins/disabled_plugins won't work with it		2019-12-08 17:33:21 +01:00
..
index.js	Don't treat the execute tab as a special tab in the web panel,	2019-12-08 17:33:21 +01:00