diff etc/HELLO @ 35755:f0c740b5e8b0

Make sure redirection is preceeded by a blank, to avoid problems with "1>>foo" when CMD.EXE is the shell, which eats up the "1" part. From Rob Giardina <rob@criticalpointsoftware.com>.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 31 Jan 2001 08:21:55 +0000
parents 183f7913ab90
children af4b46d3b81f
line wrap: on
line diff