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 | |
| 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')
0 files changed, 0 insertions, 0 deletions