diff make-dist @ 32042:81c2a01bd3b3

Use GFDL instead of GPL, plus a few tiny fixes.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 01 Oct 2000 00:10:51 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff