Searched refs:indentlevel (Results 1 – 1 of 1) sorted by relevance
56 static int indentlevel = 9; variable538 indentlevel += 4; in indent()544 indentlevel -= 4; in unindent()563 (void) printf("%*s", indentlevel, ""); in info()