| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2012-04-05 | ahornung | [r356] fill / clear operations done |
| maps | 2009-09-21 | kai_wurm | [r3] initial ci. |
| tags | 2012-11-06 | ahornung | [r441] Test release (tag) 1.5.2 |
| trunk | 2013-01-08 | ahornung | [r447] New repository location at Github: https://gith... |