diff options
Updated external text formatter commands
* directly pass the executable including its arguments
** the "highlight.sh" proxy script is no longer required
* this was made possible by a recent commit to InputXSLT
Diffstat (limited to 'source/99_result/page')
0 files changed, 0 insertions, 0 deletions