Robby Findler fe77bb34d4 more on scroll-by-copy ... make it per-editor customizable, add callbacks, and use them to make the special first line mixin work properly when it is enabled		2015-11-26 13:11:47 -06:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
mrlib	Repair to "Fix a require of unstable"	2015-09-11 21:38:12 -06:00
scribblings	more on scroll-by-copy	2015-11-26 13:11:47 -06:00
info.rkt	Remove extra directories.	2014-12-02 02:33:07 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00