diff doc/options_general.html @ 1639:56115e934133

the options for custom border color were made independent
author nadvornik
date Sat, 13 Jun 2009 19:26:32 +0000
parents c564ab6c11fc
children
line wrap: on
line diff