HomeIsabelle/Phabricator

more informative spec rules;

Authored by makarius.

Description

more informative spec rules;

Details

Committed
makariusDec 2 2019, 1:34 PM
Parents
rISABELLE475510f1a280: more robust;
Branches
Unknown
Tags
Unknown