diff etc/HELLO @ 95513:4b7c7fff9fd1

(flymake-process-filter): Make sure the source buffer isn't dead.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 03 Jun 2008 08:12:02 +0000
parents cbf5528cf447
children 424fe1248b56
line wrap: on
line diff