comparison TOOLS/realcodecs/drv2.sh @ 18607:d526762d3979

small consistency fix
author diego
date Tue, 06 Jun 2006 23:04:28 +0000
parents 86c478bea7ce
children
comparison
equal deleted inserted replaced
18606:2a13f3573e49 18607:d526762d3979