diff make-dist @ 55191:8e8564f5c1eb

Document set-file-times.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 27 Apr 2004 13:17:34 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff