| Mon, 04 Apr 2016 23:08:43 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 04 Apr 2016 22:55:50 +0200 | wenzelm | tuned headers; | changeset | files |
| Mon, 04 Apr 2016 22:13:47 +0200 | wenzelm | merged | changeset | files |
| Mon, 04 Apr 2016 22:13:08 +0200 | wenzelm | tuned -- more explicit sections; | changeset | files |