From: judah.jacobson@gmail.com Date: Fri, 7 Sep 2007 21:16:16 +0000 (+0000) Subject: Fix repeated section name in documentation. X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b4edc22b10f5333aa76c46d7fbf26ed91610f637;hp=b4edc22b10f5333aa76c46d7fbf26ed91610f637;p=ghc-hetmet.git Fix repeated section name in documentation. ---