diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2015-11-10 12:09:45 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2015-11-11 13:05:24 +0000 |
commit | 56b5cbeb5637af0e162328f7ad14a1ec8170210f (patch) | |
tree | abd8d23e88450d8001d03b9ab5dc53484c136d10 /src/test/java/com/google/devtools | |
parent | 44e8d10b7e923540c8ee837b76eea85d29338b22 (diff) |
Mark support for Ubuntu 15.10 instead of 14.10
Ubuntu 14.10 has reached end-of-life for several
months now.
--
MOS_MIGRATED_REVID=107473533
Diffstat (limited to 'src/test/java/com/google/devtools')
0 files changed, 0 insertions, 0 deletions