diff doc/gendoc.py @ 4880:6403f948bd6b

run-tests: extract correct status when script terminates with exit
author Patrick Mezard <pmezard@gmail.com>
date Sat, 14 Jul 2007 14:01:11 +0200
parents 54fd4d3b4fce
children bbdcdc7f170e
line wrap: on
line diff