From 69b42edc388faf013b0541f9bdeb817d8ca26bc1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 12 Apr 2010 15:51:47 +0000 Subject: [PATCH] svn: r18795 --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index edf5d962dd..1d959a2ac3 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -581,6 +581,7 @@ path/s is either such a string or a list of them. "collects/drscheme/private/tracing.ss" drdr:command-line "mred-text -t ~s" "collects/drscheme/private/unit.ss" drdr:command-line "mred-text -t ~s" "collects/drscheme/sprof.ss" drdr:command-line "mred-text -t ~s" +"collects/drscheme/syncheck-drscheme-button.ss" drdr:command-line "mred-text ~s" "collects/drscheme/syncheck.ss" drdr:command-line "mred-text -t ~s" "collects/drscheme/tool-lib.ss" drdr:command-line "mzc ~s" "collects/dynext" responsible (mflatt)