diff options
| author |  Michajlo Matijkiw <michajlo@google.com> | 2015-07-27 21:54:45 +0000 |
|---|---|---|
| committer |  Laszlo Csomor <laszlocsomor@google.com> | 2015-07-28 07:52:35 +0000 |
| commit | 2f74f5683ff4a452119927ddbb4db55e113e5d75 (patch) | |
| tree | 1fbf0e8feeac3a8fb9cc3003c8714a5d5dfe94cd /src/main/java/com/google/devtools/common/options/OptionPriority.java | |
| parent | 72ec843dc4bff25a339b8b747db5a0d1af34406d (diff) | |
Add getter for RepositoryName#name
This makes it easier to identify places where we rely on Repository#name(),
as IDEs have an easier time finding occurences of this specific method vs
finding occurences of toString().
--
MOS_MIGRATED_REVID=99221130
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionPriority.java')
0 files changed, 0 insertions, 0 deletions