diff CONTRIBUTE @ 77133:8e4480edb71e

Changes from author without assignment are (thankfully) tiny.
author Glenn Morris <rgm@gnu.org>
date Thu, 12 Apr 2007 02:29:32 +0000
parents 92a0e87ff562
children 42f5a52dbf4b
line wrap: on
line diff