Searched refs:hdr_cols (Results 1 – 1 of 1) sorted by relevance
6814 const char *const hdr_cols[] = { "NAME", "TAG", "TIMESTAMP" }; in print_holds() local6819 col = gettext(hdr_cols[i]); in print_holds()