# HG changeset patch
# User Vinicius Jose Latorre <viniciusjl@ig.com.br>
# Date 1197422067 0
# Node ID 7561d0f34da7ae1f1b02648f875874f392402366
# Parent  ef85b8e65f9fcffacdfd2c350c9989829659be37
return back entry: revert-buffer should eliminate overlays and the mark

diff -r ef85b8e65f9f -r 7561d0f34da7 etc/TODO
--- a/etc/TODO	Wed Dec 12 00:10:37 2007 +0000
+++ b/etc/TODO	Wed Dec 12 01:14:27 2007 +0000
@@ -37,6 +37,8 @@
 
 ** buffer-offer-save should be a permanent local.
 
+** revert-buffer should eliminate overlays and the mark.
+
 ** erase-buffer should perhaps disregard read-only properties of text.
 
 ** Make occur correctly handle matches that span more than one line,