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.