|
embedded-gui
|
improved Java example boxes
|
2005-11-16 01:16:58 +00:00 |
|
framework
|
fixed PR 7675
|
2005-11-17 14:49:22 +00:00 |
|
hierlist
|
extra paging keybindings
|
2005-09-18 12:47:35 +00:00 |
|
icons
|
.
|
2004-11-30 14:23:20 +00:00 |
|
mrlib
|
fixed bug with quotient
|
2005-11-22 13:47:34 +00:00 |
|
tests
|
test changing format in on-save-file
|
2005-10-21 21:10:58 +00:00 |
