tigertext/covertool — pull request #2 by mhald (2014-08-19 17:44:09+00:00)
Title: Revert "R17"

Reverts tigertext/covertool#1