Menu
▾
▴
Tree [r12351] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2013-11-25 | marutosijp | [r12342] Merged r12340 from trunk to 2.4-stable. |
| sandbox | 2013-12-01 | jplang | [r12351] Enables optional text formatting for string/tex... |
| tags | 2013-11-23 | jplang | [r12316] tagged version 2.4.1 |
| trunk | 2013-11-29 | jplang | [r12350] Fixed that preferences are not preserved when a... |
