diff build-ins.in @ 4119:7b1b2a8d05f2

Doc fixes; some args renamed.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jul 1993 19:06:12 +0000
parents ce011f7cd03f
children b0eeade85c1f
line wrap: on
line diff