Timeline
Parents and children of check-in [c4e068fd3f]
2016-12-02
| ||
23:08 | Mirror manual changes into HTML pages. check-in: 731728afab user: mario tags: trunk | |
22:12 | Use new logo in manual, merge introduction into first help section. check-in: c4e068fd3f user: mario tags: trunk | |
20:55 | Fix heaps of typos (as reported by Oliver). check-in: c747c1119f user: mario tags: trunk | |