mxe/mxe — pull request #34 by rpavlik (2012-05-07 18:04:16+00:00)
Title: Fix patch tool

This fixes the patch tool for the new version that keeps info in the index.html file. It also makes it much more robust - see individual commits for information. Also suitable for master.