diff DOCS/xml/configure @ 26300:36dae6fb85af

Use the more natural ">" instead of "1>" for stdout redirection.
author diego
date Sat, 05 Apr 2008 16:19:10 +0000 (2008-04-05)
parents 484bf3498911
children d41a06f831ee
line wrap: on
line diff