| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2007-07-20 | cboos | [r5855] 0.10.5dev: ported r5854 ''(split_page_names fix... |
| sandbox | 2007-08-14 | cmlenz | [r5911] WebAdmin plugin: really always sort ''General''... |
| tags | 2007-04-20 | cmlenz | [r5236] Tag the [milestone:0.10.4] release. |
| trunk | 2007-08-14 | cmlenz | [r5912] Keep ''General'' section first in navigation in... |