diff make-dist @ 27269:dad6b5abb3f0

(isearch-done/outline-provisions): Added `edit' argument to correspond with the current definition of `isearch-done'.
author Richard M. Stallman <rms@gnu.org>
date Tue, 11 Jan 2000 05:14:48 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff