96
96
versions.push({"name":"precise", "number":"12.04 LTS"});
97
97
versions.push({"name":"trusty", "number":"14.04 LTS"});
99
98
versions.push({"name":"vivid", "number":"15.04"});
100
99
versions.push({"name":"wily", "number":"15.10"});
101
100
for (var i=0; i<versions.length; i++) {