From 5b9c560b66f02653bac679c039e53fe1d9420da5 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 24 Jul 2002 17:38:21 +0000
Subject: [PATCH] .

original commit: a658fb078bc5be92ffb40d494d8587d3eae68e62
---
 collects/launcher/launcher-sig.ss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss
index 3ead958040..b126afe7c2 100644
--- a/collects/launcher/launcher-sig.ss
+++ b/collects/launcher/launcher-sig.ss
@@ -20,6 +20,12 @@
      mred-launcher-up-to-date?
      mzscheme-launcher-up-to-date?
 
+     mred-launcher-is-directory?
+     mzscheme-launcher-is-directory?
+
+     mred-launcher-put-file-extension+style+filters
+     mzscheme-launcher-put-file-extension+style+filters
+
      build-aux-from-path
      current-launcher-variant
      available-mred-variants