From 18b94ca8533674a57f1a2324bed674a4e41b9a2a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 13 Nov 2010 06:37:21 -0600 Subject: [PATCH] added scrbl as an extension --- collects/drracket/drracket.filetypes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/drracket.filetypes b/collects/drracket/drracket.filetypes index 0da55e5f35..10bd9130b5 100644 --- a/collects/drracket/drracket.filetypes +++ b/collects/drracket/drracket.filetypes @@ -7,7 +7,7 @@ ("CFBundleTypeOSTypes" (array "TEXT" "WXME")) ("CFBundleTypeExtensions" - (array "rkt" "rktd" "rktl" "scm" "ss"))) + (array "rkt" "rktd" "rktl" "scrbl" "scm" "ss"))) (("CFBundleTypeName" "Package") ("CFBundleTypeIconFile"