Pretty: kill code that has been dead since 1997 (#10735)
authorThomas Miedema <thomasmiedema@gmail.com>
Mon, 3 Aug 2015 17:23:21 +0000 (19:23 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Wed, 5 Aug 2015 08:10:33 +0000 (10:10 +0200)
commit2d1eae26f83bdff3bc5f5eb98101e4fd718afd62
tree1d80f033c755f352bec6c323c18d074923ff199a
parent53484d3deff9fa9f8b3da01a4b375b4ea8a7ba05
Pretty: kill code that has been dead since 1997 (#10735)
compiler/utils/Pretty.hs