Matthew Flatt 17acde5a1f fix default external-URL redirection ... Use an installation's current configuration and get a corrected default by using `setup/dirs`.		2016-02-25 08:49:22 -07:00
..
help	Remove extra directories.	2014-12-02 00:54:52 -05:00
scribble	fix default external-URL redirection	2016-02-25 08:49:22 -07:00
scriblib	scriblb/bibtex: fix author parsing	2015-03-26 13:33:36 -06:00
info.rkt	scribble/lp2: declare doc submodule with module*	2015-12-30 06:24:17 -06:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:54:52 -05:00