| Mon, 20 Apr 2015 23:07:59 +0200 | Heiko Schlittermann (JUMPER) | renamed abstract -> short | changeset | files |
| Mon, 20 Apr 2015 23:07:09 +0200 | Heiko Schlittermann (JUMPER) | [snapshot] | changeset | files |
| Mon, 20 Apr 2015 16:01:28 +0200 | Heiko Schlittermann (JUMPER) | snapshot | changeset | files |