diff etc/DEBUG @ 48844:63bc288cd2ae

(compile-reinitialize-errors): Don't mark the buffer as modified unless it really is.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 14 Dec 2002 23:30:36 +0000
parents 927a6a3e6c8f
children e0ff22ddc744
line wrap: on
line diff