diff make-dist @ 10421:4252d6935d43

(list-buffers): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 13 Jan 1995 08:25:52 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff