idris-lang/Idris-dev — pull request #626 by david-christiansen (2013-11-19 09:31:33+00:00)
Title: Fix minor :t display issue from our IDESlave work last night

Now :t displays newlines where it should, once more. Update to #624.