Searched defs:rev (Results 1 – 3 of 3) sorted by relevance
104 int rev = p.getRevision(); in addNewPlatforms() local138 int rev = p.getRevision(); in addNewPlatforms() local413 int rev = pkg.getMinToolsRevision(); in findToolsDependency() local
509 int rev = getRevision(); // 12 bits... 4095 in sortingScore() local
548 int rev = 0; in findAlternateToolsXml() local