Searched refs:zippyPinhead (Results 1 – 8 of 8) sorted by relevance
| /dports/games/xboard/xboard-4.9.1/ |
| H A D | zippy.c | 122 appData.zippyPinhead = p; in ZippyInit()
598 } else if (appData.zippyPinhead[0] != NULLCHAR && in ZippyConverse()
599 StrCaseStr(star_match[1], appData.zippyPinhead) != NULL) { in ZippyConverse()
|
| H A D | common.h | 726 char *zippyPinhead; member
|
| H A D | zippy.README | 144 -zippyPinhead string
|
| H A D | args.h | 734 { "zippyPinhead", ArgString, (void *) &appData.zippyPinhead, FALSE, (ArgIniType) ZIPPY_PINHEAD },
|
| /dports/games/xboard-devel/xboard-f49e7e1/ |
| H A D | zippy.c | 122 appData.zippyPinhead = p; in ZippyInit()
598 } else if (appData.zippyPinhead[0] != NULLCHAR && in ZippyConverse()
599 StrCaseStr(star_match[1], appData.zippyPinhead) != NULL) { in ZippyConverse()
|
| H A D | common.h | 718 char *zippyPinhead; member
|
| H A D | zippy.README | 144 -zippyPinhead string
|
| H A D | args.h | 724 { "zippyPinhead", ArgString, (void *) &appData.zippyPinhead, FALSE, (ArgIniType) ZIPPY_PINHEAD },
|