comparison make-dist @ 11658:304577bc9b51

(Finsert_file_contents): Use file_truename for unlocking.
author Richard M. Stallman <rms@gnu.org>
date Tue, 02 May 1995 18:15:54 +0000
parents 52bf246dd940
children e3434c390970
comparison
equal deleted inserted replaced
11657:ab5f12280452 11658:304577bc9b51