[plt-dev] another tweak to automatic compilation

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Sep 8 22:35:16 EDT 2009

The automatic compilation stuff in DrScheme now avoids installed
planet files (but still compiles stuff inside planet development
links).

Robby


Posted on the dev mailing list.