diff doc/options_properties.html @ 1275:fa0e7b8e785e

improved placing of external commands in menu small menu improvements
author nadvornik
date Mon, 02 Feb 2009 20:32:59 +0000
parents c564ab6c11fc
children
line wrap: on
line diff