diff doc/options_properties.html @ 1254:3814f5828376

adjusted marks spacing to align them with the marks filter
author nadvornik
date Sat, 24 Jan 2009 13:46:08 +0000
parents c564ab6c11fc
children
line wrap: on
line diff