diff config.bat @ 51561:bed114065e35

(custom-get-fresh-buffer): Kill overlays before erasing the buffer.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 14 Jun 2003 19:04:20 +0000
parents aaff735de38e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff