diff extra/soundsoftware/update-external-repo.sh @ 1458:b1f4c9a2af24 bug_794

Makes the default radio button checked by default -- this should fix bug #794.
author luisf <luis.figueira@eecs.qmul.ac.uk>
date Mon, 11 Nov 2013 18:25:22 +0000
parents b61a51fb42b9
children aea6f97ff27f
line wrap: on
line diff