diff make-dist @ 43799:b1abfedc2e1d

(Fcopy_file): Fix last change.
author Jason Rumney <jasonr@gnu.org>
date Sat, 09 Mar 2002 10:20:18 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff