From d20cc8f76ae9cca960b7b20cbce27be53de9f61c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 25 Feb 2004 03:01:37 +0000 Subject: [PATCH] . original commit: 02410eda280cb282206f0783f4901d2c9d39da42 --- collects/mred/private/kernel.ss | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 03a3a0ad..7eccd07f 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -949,7 +949,6 @@ set-margin set-editor-margin set-level-2 - set-afm-path set-paper-name set-translation set-scaling @@ -961,7 +960,6 @@ get-margin get-editor-margin get-level-2 - get-afm-path get-paper-name get-translation get-scaling