| .. |
|
private
|
only set the extension to .rkt if it looks like it isn't set to anything useful already
|
2015-04-19 07:22:45 -05:00 |
|
collapsed-snipclass-wxme.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
collapsed-snipclass.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
comment-snip.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
decorated-editor-snip.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
doc.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework-sig.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework-unit.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
gui-utils.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
info.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
keybinding-lang.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
main.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
preferences.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
splash.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
test.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
