.

original commit: a658fb078bc5be92ffb40d494d8587d3eae68e62
2002-07-24 17:38:21 +00:00 · 2002-07-24 17:38:21 +00:00 · 5b9c560b66
commit 5b9c560b66
parent 9c6da083e4
1 changed files with 6 additions and 0 deletions
--- 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