diff make-dist @ 4833:9b9d3d777a66

(SYSTEM_TYPE): Put into #if 0.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Oct 1993 15:05:37 +0000
parents 6e068e4635e0
children f27254ec443e
line wrap: on
line diff