diff doc/options_properties.html @ 1745:7a6f3ffa036a

fixed reloading of editors
author nadvornik
date Sat, 12 Sep 2009 15:31:24 +0000
parents c564ab6c11fc
children
line wrap: on
line diff