Fix repeated section name in documentation.
authorjudah.jacobson@gmail.com <unknown>
Fri, 7 Sep 2007 21:16:16 +0000 (21:16 +0000)
committerjudah.jacobson@gmail.com <unknown>
Fri, 7 Sep 2007 21:16:16 +0000 (21:16 +0000)
commitb4edc22b10f5333aa76c46d7fbf26ed91610f637
tree0f70b4273a948240b1483d82253e71a412c9f585
parentdec21d06eb80f6d958d18bc185cd84f40d9ef98f
Fix repeated section name in documentation.
docs/users_guide/runghc.xml