diff lib-src/getopt1.c @ 24226:8328255eab2a

(gametree-default-score): Use defcustom. (gametree-score-regexp, gametree-score-closer): Likewise. (gametree-score-manual-flag, gametree-score-opener): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Sat, 30 Jan 1999 07:24:51 +0000
parents c8c409640bf3
children 134b57acef68
line wrap: on
line diff