[plt-dev] DrDr source

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

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

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