Georges Dupéron 92fd106034 Fixed typo: get-port-location should be port-next-location		2017-04-25 22:46:00 +02:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
mrlib	and -> an	2017-01-05 19:31:03 -05:00
scribblings	Fixed typo: get-port-location should be port-next-location	2017-04-25 22:46:00 +02:00
info.rkt	gui-doc now depends on xrepl doc.	2016-07-26 10:30:05 -04:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00