diff etc/TUTORIAL.it @ 64804:ebcfe1ffa0ec

(gametree-mode): Use make-local-variable, not make-variable-buffer-local.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Aug 2005 02:56:24 +0000
parents 317464f26923
children f05a048483cc 02f1dbc4a199
line wrap: on
line diff