diff make-dist @ 32129:3cd2e815deaa

(basic-save-buffer): Call vc-before-save before saving.
author André Spiegel <spiegel@gnu.org>
date Wed, 04 Oct 2000 09:55:21 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff