[plt-dev] DrDr source

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Tue Feb 23 23:12:38 EST 2010

The source code for DrDr is now in plt/meta/drdr.

(If you haven't been watching, meta is for infrastructure code that
isn't distributed and is normally not run by people whose names do not
start with "E" and end with "zilay".)

I'm not expecting a flurry of patches, but I've had a few requests for
it to be public. Eli and I talked about it and this was the best place
for it.


Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.