Eliminate gratuitous space from command prompt. This space is filled
authorChris Hanson <org/chris-hanson/cph>
Mon, 15 Aug 1994 18:46:36 +0000 (18:46 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 15 Aug 1994 18:46:36 +0000 (18:46 +0000)
commit7d330af85ce571b9454331d3f5dbef984a17db93
treec24d9d5fdd80c937e5c71a3d94dc654b48a8a16e
parent7b603d737420f23e2eea07502977a3c4b8bc5911
Eliminate gratuitous space from command prompt.  This space is filled
in by the PROMPT-FOR-COMMAND- procedures anyway.
v7/src/edwin/intmod.scm