comparison make-dist @ 18331:6156115816da

Rearrange custom options.
author Simon Marshall <simon@gnu.org>
date Thu, 19 Jun 1997 08:39:55 +0000
parents 0696d4c9aa15
children 6f263a83b071
comparison
equal deleted inserted replaced
18330:005facba9434 18331:6156115816da