Searched refs:XXX_set_default (Results 1 – 1 of 1) sorted by relevance
282 static int XXX_set_default = 0 ; /* 08 Apr 2016 */ variable316 XXX_set_default = 1 ; in process_XXX_options()2631 if( xrdb_old != NULL && !XXX_set_default ){ /* 24 Mar 2016 */ in main()