HomeIsabelle/Phabricator

afp-submit: correct build status on empty file;

Description

afp-submit: correct build status on empty file;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP1ae3c6cfde77: afp-submit: remove padding on select;
Branches
Unknown
Tags
Unknown