WebAudio/web-midi-api — pull request #86 by toyoshim (2013-10-29 04:09:59+00:00)
Title: Replace xmp tag with pre tag

Since xmp is obsoleted in HTML5, let's use pre instead of xmp.
Also, this fixes the problem that '<' and '>' didn't work inside xmp tag.