Add header doc to MkIface
authorDavid Terei <davidterei@gmail.com>
Wed, 9 Nov 2011 19:17:31 +0000 (11:17 -0800)
committerDavid Terei <davidterei@gmail.com>
Thu, 10 Nov 2011 06:54:05 +0000 (22:54 -0800)
commit49c8256e14878978a879d2336c6444db4216b2fd
tree9fac1aba36e502f439724c846ac2f80a4cdbbb68
parentcbc0ff0bad2603cf21ddfc6f94521d80e11f3956
Add header doc to MkIface
compiler/iface/MkIface.lhs