diff make-dist @ 85050:441ea5bdff8f

Chris Moore <dooglus at gmail.com> (server-kill-new-buffers): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Sat, 06 Oct 2007 01:44:51 +0000
parents 6fa9e8761256
children 2e60398b267b 14c4a6aac623
line wrap: on
line diff