dita-ot/dita-ot — pull request #1805 by infotexture (2014-11-26 16:54:44+00:00)
Title: Remove outdated `files.txt` listing for #1804

Fixes #1804