diff TOOLS/mphelp_check.py @ 29968:4e0ff9be2b1e

Avoid '&>' bashism for redirecting both stdout and stderr.
author diego
date Sun, 13 Dec 2009 23:48:20 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff