From 45342eec69aa61a0eb98686dd9af36a7d245ca58 Mon Sep 17 00:00:00 2001 From: Jim Hague Date: Tue, 17 Jun 2014 12:32:15 +0100 Subject: [PATCH] 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. --- dottes.html.learnertune | 16 ++++++++-------- dottes.html.tune | 8 ++++---- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/dottes.html.learnertune b/dottes.html.learnertune index 57f6235..75f641a 100644 --- a/dottes.html.learnertune +++ b/dottes.html.learnertune @@ -76,9 +76,9 @@
@@ -106,9 +106,9 @@
@@ -136,9 +136,9 @@
@@ -166,9 +166,9 @@
diff --git a/dottes.html.tune b/dottes.html.tune index ae27f00..46eed16 100644 --- a/dottes.html.tune +++ b/dottes.html.tune @@ -54,13 +54,13 @@