diff web/index.html @ 488:e16c20e63d9c build-default-209

Decide that all links for downloading things should get HTML5 download tags. The audio players exist to play things on the page. Everything else is to download the file, really. I think.
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 12:32:15 +0100
parents ae0836b5f4dd
children dfeb781e5196
line wrap: on
line diff