diff make-dist @ 14068:a3c83dde295e

(Fsend_string_to_terminal, Fsit_for): Harmonize arguments with documentation.
author Erik Naggum <erik@naggum.no>
date Tue, 09 Jan 1996 00:31:17 +0000
parents 0a94cd2c51c4
children d3be604d3700
line wrap: on
line diff