Searched refs:htmlHeader (Results 1 – 1 of 1) sorted by relevance
51 const char* htmlHeader = variable2229 printf(htmlHeader, gOptions.sortableUrl); in profileTrace()2391 printf(htmlHeader, gOptions.sortableUrl); in createDiff()2438 printf(htmlHeader, gOptions.sortableUrl); in createDiff()