From d9e6eb1d8bd6da28886a690747686423f37a8196 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 14 Jul 2010 16:14:21 -0600 Subject: [PATCH] Silly test push to trigger DrDr --- collects/meta/drdr/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/drdr/README b/collects/meta/drdr/README index ccf5b484fd..a03cdc660d 100644 --- a/collects/meta/drdr/README +++ b/collects/meta/drdr/README @@ -4,4 +4,4 @@ It currently only runs on a single machine that is set up in an intricate way. -- In particular, config.ss mentions many of those details -- Also, static/data must be a link to a data directory (/opt/plt/data) -It uses a few of my PLaneT packages and some other ones as well. +It uses a few of my PLaneT packages and some other ones as well.