diff TOOLS/GL-test/compile.sh @ 10770:7a2f6392fcf0

nit
author diego
date Mon, 01 Sep 2003 01:18:58 +0000
parents 3f3b7829dce8
children b635d250fd0e
line wrap: on
line diff