Home
last modified time | relevance | path

Searched refs:removePrefix (Results 1 – 1 of 1) sorted by relevance

/petsc/config/BuildSystem/
H A Dretrieval.py43 self.git_urls.append(self.removePrefix(url,'git://'))
45 self.hg_urls.append(self.removePrefix(url,'hg://'))
47 self.dir_urls.append(self.removePrefix(url,'dir://'))
49 self.link_urls.append(self.removePrefix(url,'link://'))
87 def removePrefix(url,prefix): member in Retriever