Searched defs:_dict_markTime_set (Results 1 – 3 of 3) sorted by relevance
93 int _dict_markTime_set; /* 1 if set by command line option */ variable