Tue, 23 May 2017 21:31:33 +0200 | wenzelm | updated package; | changeset | files |
Tue, 23 May 2017 20:38:34 +0200 | wenzelm | support text overview colors via decorations; | changeset | files |
Tue, 23 May 2017 14:23:26 +0200 | wenzelm | tuned; | changeset | files |