From: Daniel W. <dm...@lu...> - 2013-04-09 22:22:22
|
diffing dir... Tue Apr 9 23:03:00 BST 2013 Daniel Wagner <da...@wa...> * clean up after bad fix to Trac #1259 Ignore-this: a59ea9145afd0ba37ffec5053b02fe5a A proposed fix to Trac #1259 added a language extension; later, the problem was fixed in another way that removed the need for that extension, but didn't remove the extension. This patch removes the extension. hunk ./tools/hierarchyGen/Hierarchy.chs.template 2 -{-# LANGUAGE CPP #-} |