1.1 --- a/configs/plugin_settings.cfg	Mon Feb 12 18:25:16 2007 +0000
     1.2 +++ b/configs/plugin_settings.cfg	Mon Feb 12 19:41:50 2007 +0000
     1.3 @@ -13,8 +13,6 @@
     1.4   *
     1.5   * You can also have an "Options" section declaring options to pass onto the JIT:
     1.6   * "debug"		- Whether or not to load the plugin in debug mode
     1.7 - * "inl_errors"		- Internal optimization to inline error checks.  Results in larger but faster code.
     1.8 - * "inl_natives"	- Internal optimization to inline native calls.  Results in larger code (unknown speed effect).
     1.9   */
    1.10  	
    1.11  "Plugins"