diff make-dist @ 14095:d612434249db

(Fmake_symbol): Harmonize arguments with documentation (correctly).
author Erik Naggum <erik@naggum.no>
date Tue, 09 Jan 1996 02:44:30 +0000
parents 0a94cd2c51c4
children d3be604d3700
line wrap: on
line diff