diff doc/index.html @ 1130:302d85a9962f

Add Properties Options page.
author zas_
date Tue, 11 Nov 2008 10:24:04 +0000
parents 24c89a03ec12
children 77f9f2331e1b
line wrap: on
line diff
--- a/doc/index.html	Tue Nov 11 10:09:09 2008 +0000
+++ b/doc/index.html	Tue Nov 11 10:24:04 2008 +0000
@@ -94,6 +94,7 @@
 	<li><a href="options_window.html">Window Options</a></li>
 	<li><a href="options_filtering.html">Filtering Options</a></li>
 	<li><a href="options_editor_commands.html">Editor Commands</a></li>
+        <li><a href="options_properties.html">Properties Options</a></li>
 	<li><a href="options_advanced.html">Advanced Options</a></li>
 	<li><a href="options_hidden.html">Hidden Options</a></li>
       </ul>