HomeIsabelle/Phabricator

more messages -- expose potential database problems;

Authored by makarius.

Description

more messages -- expose potential database problems;

Details

Committed
makariusNov 7 2019, 11:10 AM
Parents
rISABELLE324c40205fc8: clarified errors: include stdout;
Branches
Unknown
Tags
Unknown