diff make-dist @ 7906:1d64f77001be

declare init_system_name (replaces get_system_name).
author Karl Heuer <kwzh@gnu.org>
date Wed, 15 Jun 1994 05:27:38 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff