# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
---|---|---|---|---|---|---|---|
4 | cheat mode | None | open | 2008-01-27 | 2012-09-15 | ||
3 | Print filename in error message | None | open | 2007-09-19 | 2012-09-15 | ||
2 | Discoveries mapmode | None | open | 2007-09-19 | 2012-09-15 | ||
1 | Text search limitationis | None | open | 2007-09-13 | 2012-09-15 |