mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-03 23:25:26 +02:00
[cleanup] corrected release number
This commit is contained in:
parent
ec5d25d7be
commit
8254b81071
1 changed files with 5 additions and 4 deletions
|
@ -14,9 +14,7 @@
|
|||
<h1>Remote System Explorer runtime options</h1>
|
||||
<p>
|
||||
Some RSE runtime preferences are set using system properties.
|
||||
With release 3.3, all new runtime preferences are set using the plugin_customization.ini method.
|
||||
See <a href="/help/topic/org.eclipse.platform.doc.isv/guide/product_configproduct.htm">Customizing a product</a>
|
||||
for a description of plugin preference customization.
|
||||
With RSE release 2.0, all new runtime preferences are set using the plugin_customization.ini method.
|
||||
</p>
|
||||
|
||||
<h2>System properties</h2>
|
||||
|
@ -42,6 +40,10 @@ The default is <code>true</code>.
|
|||
</dl>
|
||||
|
||||
<h2>Plugin customizations</h2>
|
||||
<p>
|
||||
See <a href="/help/topic/org.eclipse.platform.doc.isv/guide/product_configproduct.htm">Customizing a product</a>
|
||||
for a description of plugin preference customization.
|
||||
</p>
|
||||
|
||||
<h3>Core Preferences</h3>
|
||||
<dl>
|
||||
|
@ -66,7 +68,6 @@ the desired setting.
|
|||
<dd>
|
||||
If on, specifies whether or not to insert mnemonic indications into
|
||||
the current text of a label.
|
||||
If off, all other options are ignored.
|
||||
</dd>
|
||||
<dt>bit mask - value 2</dt>
|
||||
<dd>
|
||||
|
|
Loading…
Add table
Reference in a new issue