Asumu Takikawa 6d43de50ef Change link to scribble doc sources ... The doc sources now live on Github post-split rather than on the PLT git server.		2014-12-10 22:53:34 -05:00
..
scribblings/scribble	Change link to scribble doc sources	2014-12-10 22:53:34 -05:00
scriblib/scribblings	Remove extra directories.	2014-12-02 00:54:52 -05:00
info.rkt	Remove extra directories.	2014-12-02 00:54:52 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:54:52 -05:00