diff options
author | Janak Ramakrishnan <janakr@google.com> | 2015-11-20 23:44:15 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2015-11-24 14:40:29 +0000 |
commit | 1c9c98ef5058a7abe95ef31d9011dd9a7d778993 (patch) | |
tree | 30a3b294eb58384ce66d3fa6e9f90b16c7a5886c /src/main/java/com/google/devtools/build/lib/analysis/config | |
parent | b0d1313e1ba86a0a7a061567879186cbf23b3744 (diff) |
Add previous() method to IntVersion.
--
MOS_MIGRATED_REVID=108386134
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config')
0 files changed, 0 insertions, 0 deletions