Anton Shestakov <av6@dwimlabs.net>, Sat, 22 Oct 2016 20:19:32 +0800
index: player depends on ui and libgme, but the latter is more important
--- a/index.html Sat Oct 22 20:15:25 2016 +0800
+++ b/index.html Sat Oct 22 20:19:32 2016 +0800
+ <script src="/libgme.Oz.js"></script>
<script src="/ui.js"></script>
- <script src="/libgme.Oz.js"></script>
<script src="/player.js"></script>