diff TOOLS/GL-test/compile.sh @ 22156:5b8b1e85db32

Cosmetics: add space after comma in output
author reimar
date Thu, 08 Feb 2007 11:27:18 +0000
parents b635d250fd0e
children
line wrap: on
line diff