arpg/HAL — pull request #19 by chachi (2014-08-02 16:38:25+00:00)
Title: Logtool

Adds the logtool that was discussed long ago. Only has a few functions so far (cat, extract).