Searched refs:spitzezaehltset (Results 1 – 3 of 3) sorted by relevance
138 EXTERN int spitzezaehlt,spitzezaehltset; variable
1515 if (!spitzezaehltset &&2103 spitzezaehltset=1;2107 spitzezaehltset=1;2111 spitzezaehltset=1;
1736 if (!spitzezaehltset) { in read_opt()