diff make-dist @ 8356:bdf40e36b6a9

(what-domain): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 Jul 1994 00:35:18 +0000
parents cdd772d2e59f
children f7ae124181cd
line wrap: on
line diff