Removing MrEd launcher, renaming some things

svn: r8261
2008-01-08 18:27:59 +00:00 · 2008-01-08 18:27:59 +00:00 · 511343114f
commit 511343114f
parent 57d173e626
3 changed files with 2 additions and 7 deletions
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@ -4,11 +4,6 @@
                        ("docs/guide/web-guide.scrbl" (multi-page main-doc))))
  
  (define mzscheme-launcher-libraries
-    (list "private/launch-text.ss"))
+    (list "private/main.ss"))
  (define mzscheme-launcher-names
-    (list "PLT Web Server Text")) 
-
-  (define mred-launcher-libraries
-    (list "private/launch-gui.ss"))
-  (define mred-launcher-names
-    (list "PLT Web Server")))
+    (list "PLT Web Server")))
--- a/collects/web-server/private/launch-gui.ss
+++ b/collects/web-server/private/launch-gui.ss
--- a/collects/web-server/private/launch-text.ss
+++ b/collects/web-server/private/launch-text.ss