diff make-dist @ 15448:593dadb4f287

(vc-mode-line): If user is root, verify file really has user-writable bit.
author Richard M. Stallman <rms@gnu.org>
date Tue, 18 Jun 1996 16:52:09 +0000
parents a68e276baffd
children 30ac85981d2e
line wrap: on
line diff