Searched refs:DOUBLE_STAR_PLACEHOLDER (Results 1 – 1 of 1) sorted by relevance
31 DOUBLE_STAR_PLACEHOLDER = "xxxdoublestarxxx" variable42 pattern2 = DOUBLE_STAR_RE.sub(DOUBLE_STAR_PLACEHOLDER, pattern)48 pattern6 = pattern5.replace(DOUBLE_STAR_PLACEHOLDER, '.*/')