From e79cb1840d3d97f63474d5bd46c5dd709c6ed217 Mon Sep 17 00:00:00 2001
From: Steve Reinhardt <stever@eecs.umich.edu>
Date: Sun, 5 Jun 2005 11:07:46 -0400
Subject: [PATCH] Fix documentation formatting bug.

--HG--
extra : convert_revision : 86bb5e5b01742144869eaa2f248650468ed4f861