| Tue, 26 Jun 2018 22:39:10 +0200 |
Bernhard Herzog |
Added tag 1.6.0 for changeset bf1a998fff48
default tip
|
| Fri, 25 Aug 2017 20:57:11 +0200 |
Bernhard Herzog |
Added tag 1.5.1 for changeset f6d87a17ed84
|
| Fri, 28 Apr 2017 21:04:43 +0200 |
Bernhard Herzog |
Added tag 1.5 for changeset 2ef34abbad8d
|
| Tue, 21 Apr 2015 17:11:17 +0200 |
Frank Koormann |
Added tag 1.4 for changeset 74ba8c361d66
|
| Wed, 15 Apr 2015 15:39:59 +0200 |
Frank Koormann |
Added tag 1.3 for changeset 4f45ebecb057
|
| Thu, 02 Apr 2015 15:58:40 +0200 |
Frank Koormann |
Activate debugging by default.
|
| Wed, 11 Mar 2015 16:46:04 +0100 |
Bernhard Herzog |
Added tag 1.1 for changeset 9ad8421dafb4
|
| Thu, 26 Feb 2015 12:27:54 +0100 |
Bernhard Herzog |
Added tag 1.0 for changeset bd3e5fdd8398
|
