whatwg/encoding — pull request #3 by peteroupc (2014-06-09 03:30:31+00:00)
Title: Download UnicodeData.txt if it doesn't exist already

This change modifies tools-index.py so that it downloads UnicodeData.txt via FTP if that file doesn't exist already. With this change, there is no longer a need to include UnicodeData.txt in the repository.