# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | |
---|---|---|---|---|---|---|---|---|
15 | Keeping the already uploaded files after clicking on the +/- | None | open | 2008-08-20 | 2008-08-20 | 5 | ||
14 | Configuration of non-terminals which have to be chcecked. | None | open | 2007-10-26 | 2007-10-26 | 5 | ||
13 | 'goto_index2 uninitialized | None | open | 2007-09-26 | 2007-09-26 | 1 |