|
embedded-gui
|
{quick,merge}sort -> sort
|
2006-04-01 12:24:15 +00:00 |
|
hierlist
|
removed calls to set-max-undo-history
|
2006-06-02 17:00:24 +00:00 |
|
icons
|
.
|
2004-11-30 14:23:20 +00:00 |
|
mred
|
some bug fixes
|
2006-07-16 15:45:16 +00:00 |
|
mrlib
|
fixed PR 7129
|
2006-06-21 18:36:43 +00:00 |
|
tests
|
fix shortcut prefix test
|
2006-07-17 02:45:29 +00:00 |
