| Wed, 22 Apr 2020 18:37:09 +0200 | wenzelm | tuned -- avoid odd compiler warning; | changeset | files |
| Wed, 22 Apr 2020 18:16:48 +0200 | wenzelm | avoid deprecated operations; | changeset | files |
| Wed, 22 Apr 2020 18:16:27 +0200 | wenzelm | deprecated and obsolete; | changeset | files |