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