| Fri, 01 Sep 2017 15:21:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 01 Sep 2017 15:15:29 +0200 | wenzelm | more robust: provide docking framework via base plugin; | changeset | files |
| Fri, 01 Sep 2017 14:58:19 +0200 | wenzelm | more robust; | changeset | files |
| Fri, 01 Sep 2017 12:57:24 +0200 | wenzelm | tuned headers; | changeset | files |
| Fri, 01 Sep 2017 12:54:31 +0200 | wenzelm | eliminated suspicious Unicode; | changeset | files |
| Fri, 01 Sep 2017 12:52:46 +0200 | wenzelm | auto update; | changeset | files |
| Fri, 01 Sep 2017 12:47:23 +0200 | wenzelm | more PIDE markup; | changeset | files |
| Fri, 01 Sep 2017 12:19:40 +0200 | bulwahn | merged | changeset | files |