Eli Barzilay e0bab0cea2 * Added setup/private/lib-roots as a place to decide what directory is ... considered a library. For now, hacked with the collects and planet roots (and planet links), with a fixed number of directory sublevels from them. * setup/private/omitted-paths is simplified by reusing this code to get the roots. * drscheme/private/module-browser uses this to always show requires from the same library, even for lib or planet requires. svn: r15058		2009-06-02 18:48:57 +00:00
..
lib-roots.ss	* Added setup/private/lib-roots as a place to decide what directory is	2009-06-02 18:48:57 +00:00
omitted-paths.ss	* Added setup/private/lib-roots as a place to decide what directory is	2009-06-02 18:48:57 +00:00
path-utils.ss	don't die on a ".../plt/collects" path	2009-06-01 20:16:40 +00:00