diff install-sh @ 87262:30a10a4597c9

revert-buffer should eliminate overlays and the mark
author Glenn Morris <rgm@gnu.org>
date Tue, 11 Dec 2007 05:54:44 +0000
parents 23a1cea22d13
children
line wrap: on
line diff