diff TOOLS/realcodecs/drv2.sh @ 12584:d3607c8774c6

10l for a copy and paste error noticed by Alex.
author diego
date Mon, 14 Jun 2004 09:57:02 +0000
parents 86c478bea7ce
children
line wrap: on
line diff