diff make-dist @ 11489:cfb899623032

(pushnew): Use edebug-keywordp.
author Richard M. Stallman <rms@gnu.org>
date Wed, 19 Apr 1995 00:47:42 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff