Commit d0723a1652f9f002aa800cd618fd52717b980b18

Paul Eggert 2003-07-14T16:36:07

Switch from LGPL to GPL.