comparison doc/10_5_editor_commands.html @ 641:81441380d3be

When an option was successfully read, just continue to next line.
author zas_
date Mon, 12 May 2008 10:46:23 +0000
parents 9c0c402b0ef3
children 1b01410e6860
comparison
equal deleted inserted replaced
640:fd26409e3a6a 641:81441380d3be