Wed, 18 Mar 2020 17:29:20 +0100 | wenzelm | tuned documentation, based on hints by Pedro Sánchez Terraf; | changeset | files |
Wed, 18 Mar 2020 16:46:07 +0100 | wenzelm | backed out changeset 7eadccd4392c: too confusing wrt. text overview panel; | changeset | files |