diff make-dist @ 10431:7981b19e9028

(vc-do-command): Use set-buffer-modified-p instead of not-modified.
author Roland McGrath <roland@gnu.org>
date Sun, 15 Jan 1995 11:00:38 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff