HomeSort by relevance Sort by last modified time
    Searched refs:getOldOptionName (Results 1 - 2 of 2) sorted by null

  /external/desugar/java/com/google/devtools/common/options/
IsolatedOptionsData.java 268 if (!optionDefinition.getOldOptionName().isEmpty()) {
269 String oldName = optionDefinition.getOldOptionName();
OptionDefinition.java 155 public String getOldOptionName() {

Completed in 581 milliseconds