diff --git a/configs/plugin_settings.cfg b/configs/plugin_settings.cfg index 0e97e68d..c0f8dad2 100644 --- a/configs/plugin_settings.cfg +++ b/configs/plugin_settings.cfg @@ -13,8 +13,6 @@ * * You can also have an "Options" section declaring options to pass onto the JIT: * "debug" - Whether or not to load the plugin in debug mode - * "inl_errors" - Internal optimization to inline error checks. Results in larger but faster code. - * "inl_natives" - Internal optimization to inline native calls. Results in larger code (unknown speed effect). */ "Plugins"