From e14da1363535a32d2d606ee65de60aa5c8489feb Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 24 Apr 2002 15:16:57 +0000
Subject: [PATCH] [haddock @ 2002-04-24 15:16:57 by simonmar] Done module
 headers now.

---
 TODO | 2 --
 1 file changed, 2 deletions(-)

diff --git a/TODO b/TODO
index 4a07c47de3..fa6cd102dd 100644
--- a/TODO
+++ b/TODO
@@ -1,7 +1,5 @@
 For 1.0:
 
-* parse module headers, augment Interface with info from header
-
 * IDoc compatibility, as far as possible
 	- bird-tracks for code blocks
 
-- 
GitLab