deleted redundant entry

original commit: 009446410343798341d6320d9b51a0006c8a1a0f
This commit is contained in:
Matthew Flatt 1998-03-10 20:09:00 +00:00
parent 6e083e2f28
commit b6e91ca4af

View File

@ -154,9 +154,6 @@ On windows:
info-frame and to improve the speed in the console io. There is a
new method of mred:media-edit: "run-after-edit-sequence".
- set-empty-callback in mred:frame-group% is now set-empty-callbacks
in mred:frame-group%. See the docs for more details.
- mred:original-output-port is now called mred:constants:original-output-port
mred:original-input-port is now called mred:constants:original-input-port