Eli Barzilay bb263675b6 Rename "drscheme-button*" -> "drracket-button*"; fix bad reference to "drscheme/syncheck-drracket-button".		2010-05-16 18:26:25 -04:00
..
private	fix drdr timeout due to gui window	2010-05-10 09:49:50 -04:00
drracket-buttons.rkt	Rename "drscheme-button*" -> "drracket-button*"; fix bad reference to "drscheme/syncheck-drracket-button".	2010-05-16 18:26:25 -04:00
html.png
pdf.png