From 0c749ca94fa4aa7e621e02bbca8b293a3492e2ba Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 18 Jan 2007 14:26:29 +0000 Subject: [PATCH] wxme belongs outside of mred, obviously svn: r5399 original commit: 00d745bd5efcf007743773162de7dcd11b8a3375 --- collects/mred/doc.txt | 8 -------- 1 file changed, 8 deletions(-) diff --git a/collects/mred/doc.txt b/collects/mred/doc.txt index 3fef0dcb..3ecb6b19 100644 --- a/collects/mred/doc.txt +++ b/collects/mred/doc.txt @@ -27,11 +27,3 @@ The edit.ss module exports the following function. > (new-frame editor% file) Takes the editor class. - ------------------------------------------------------------------ - -_wxme.ss_ - -#reader support for PLT graphical format. See also the "wxme" -sub-collection of the "mred" collection. -