lineno_format     675 htags/src2html.c static char lineno_format[32];
lineno_format     711 htags/src2html.c                 fprintf(out, lineno_format, lineno);
lineno_format     817 htags/src2html.c 	snprintf(lineno_format, sizeof(lineno_format), "%%%dd ", ncol);