diff make-dist @ 12958:7a3cd2170cb7

Delete some #if 0'd functions.
author Richard M. Stallman <rms@gnu.org>
date Sun, 27 Aug 1995 18:17:01 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff