Searched refs:EndSourceNameDiv (Results 1 – 1 of 1) sorted by relevance
155 const char *EndSourceNameDiv = "</div>"; variable243 OSRef << BeginSourceNameDiv << "Index" << EndSourceNameDiv; in createIndexFile()267 << EndSourceNameDiv; in renderSourceName()