Build system: Remove unused DLL_PEN
authorIan Lynagh <ian@well-typed.com>
Tue, 28 May 2013 19:31:11 +0000 (20:31 +0100)
committerIan Lynagh <ian@well-typed.com>
Tue, 28 May 2013 19:31:11 +0000 (20:31 +0100)
commit6d9c6d26a0da3073a16a3f959c7fea931044389e
treee22799bb3ebeeac69b2ba07291094c9ce0669c7c
parent4a98a31e1c1a2f996f82ffba397d5461e8cc2ce1
Build system: Remove unused DLL_PEN
mk/ghc-paths.mk