diff admin/revdiff @ 55192:dd5538a91d27

(Changing Files): Document set-file-times.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 27 Apr 2004 13:21:28 +0000
parents 695cf19ef79e
children c53a9463c31a 375f2633d815
line wrap: on
line diff