Thu, 07 Nov 2019 11:10:06 +0100 | wenzelm | more messages -- expose potential database problems; | changeset | files |
Thu, 07 Nov 2019 11:00:11 +0100 | wenzelm | clarified errors: include stdout; | changeset | files |
Thu, 07 Nov 2019 10:55:57 +0100 | wenzelm | clarified directory; | changeset | files |