Searched refs:currentheader (Results 1 – 1 of 1) sorted by relevance
25 currentheader = "" variable36 global currentheader38 currentheader = open(header).read()67 if name not in currentheader:100 supersetextensions.append([name, name in currentheader, specver])