diff dottes.html.learnertune @ 469:d380c1407ed8

Replace Seven Stars with the Paul Hardy version It's closer to what got played last night.
author Jim Hague <jim.hague@acm.org>
date Mon, 28 Apr 2014 15:00:22 +0100
parents ae0836b5f4dd
children e16c20e63d9c
line wrap: on
line diff