diff config.bat @ 7493:f4fb8b913c5d

(Fcopy_file): Close output before setting its times. Close both before discarding the unwind protects.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 1994 06:34:26 +0000
parents 5d428cbd38ec
children 41a42a288277
line wrap: on
line diff