diff make-dist @ 10412:ff0b2d5848be

(revert-buffer): Recompute buffer-file-truename.
author Richard M. Stallman <rms@gnu.org>
date Thu, 12 Jan 1995 23:45:01 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff