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;