equal
deleted
inserted
replaced
665 } else { |
665 } else { |
666 helper.addClassName(option); |
666 helper.addClassName(option); |
667 } |
667 } |
668 return false; |
668 return false; |
669 } |
669 } |
670 }; |
670 }, |
|
671 |
|
672 MULTIRELEASE("-multi-release", "opt.arg.multi-release", "opt.multi-release", HIDDEN, FILEMANAGER); |
671 |
673 |
672 /** The kind of an Option. This is used by the -help and -X options. */ |
674 /** The kind of an Option. This is used by the -help and -X options. */ |
673 public enum OptionKind { |
675 public enum OptionKind { |
674 /** A standard option, documented by -help. */ |
676 /** A standard option, documented by -help. */ |
675 STANDARD, |
677 STANDARD, |