From f1c863fc016af151e0df22daa4e5c3f404e691d6 Mon Sep 17 00:00:00 2001
From: c <chris@hribhrib.at>
Date: Tue, 25 May 2021 11:17:29 +0200
Subject: [PATCH] add "MIDI" to gamemusic

---
 music.html | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/music.html b/music.html
index 14c8d80..57503fc 100644
--- a/music.html
+++ b/music.html
@@ -22,23 +22,22 @@
 			<audio controls>
 				<source src="music/timeout.mp3" type="audio/mpeg">
 					Your browser does not support the audio element.
-			</audio> 
+			</audio>
 			</p>
 
 			<p>This is me in a soloproject, supported by <a href='https://bbpb.rocks/' target="_blank">bbpb</a>:<br>
 			<audio controls>
 				<source src="music/friendship.mp3" type="audio/mpeg">
 					Your browser does not support the audio element.
-			</audio> 
+			</audio>
 			</p>
 
-			<p>This is me writing gamemusic:<br>
+			<p>This is me writing gamemusic (MIDI):<br>
 			<audio controls>
 				<source src="music/soundtrack.mp3" type="audio/mpeg">
 					Your browser does not support the audio element.
-			</audio> 
+			</audio>
 			</p>
 		</div>
 	</body>
 </html>
-