From: mdw <mdw>
Date: Thu, 25 Jan 2001 21:10:23 +0000 (+0000)
Subject: Insert missing `NAME' section.  Use a pleasant `>=' sign when doing good
X-Git-Tag: 2.0.4~123
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mLib/commitdiff_plain/7527ed0bc3b9987d6b468cf76cb8f55f1b4ff4db?ds=inline;hp=7527ed0bc3b9987d6b468cf76cb8f55f1b4ff4db

Insert missing `NAME' section.  Use a pleasant `>=' sign when doing good
typesetting.
---