w32               668 htags/fileindex.c 	if (w32)
w32                68 htags/htags.c  int w32 = W32;				/* Windows32 environment	*/
w32              1641 htags/htags.c  	if (w32)
w32              1821 htags/htags.c  	if (!w32) {
w32                52 htags/htags.h  extern int w32;