96
96
versions.push({"name":"hardy", "number":"8.04 LTS"});
97
97
versions.push({"name":"lucid", "number":"10.04 LTS"});
100
98
versions.push({"name":"oneiric", "number":"11.10"});
101
99
versions.push({"name":"precise", "number":"12.04 LTS"});
102
102
for (var i=0; i<versions.length; i++) {
103
103
if (location.href.match("\.html$")) {