diff doc/10_5_editor_commands.html @ 147:b2266996fa83

added possibility to specify prefered file type for external commands
author nadvornik
date Wed, 21 Nov 2007 22:46:50 +0000
parents 9c0c402b0ef3
children 1b01410e6860
line wrap: on
line diff