From b6e91ca4aff2add4923774ea9bcdabecaf060e15 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 10 Mar 1998 20:09:00 +0000 Subject: [PATCH] deleted redundant entry original commit: 009446410343798341d6320d9b51a0006c8a1a0f --- notes/mred/HISTORY | 3 --- 1 file changed, 3 deletions(-) diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index d62f84d8..5846a4ff 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -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