diff make-dist @ 25231:b587c4aeff78

Provide `byte-optimize', not `byte-opt'.
author Karl Heuer <kwzh@gnu.org>
date Tue, 10 Aug 1999 17:13:38 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff