| Thu, 09 Apr 2015 13:57:37 +0200 | wenzelm | option for old section parser (before 2137e60b6f6d) for the sake of Eisbach; | changeset | files |
| Thu, 09 Apr 2015 11:28:00 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 08 Apr 2015 23:00:09 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Wed, 08 Apr 2015 22:15:03 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2015 21:49:45 +0200 | wenzelm | eliminated suspicious Unicode character; | changeset | files |
| Wed, 08 Apr 2015 21:48:59 +0200 | wenzelm | eliminated hard tabs; | changeset | files |