diff make-dist @ 10128:59ccd063e016

(search_regs_saved): Delete initializer.
author Richard M. Stallman <rms@gnu.org>
date Wed, 07 Dec 1994 13:03:48 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff