HomeIsabelle/Phabricator

remove scala tools from publish;

Description

remove scala tools from publish;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP783e3f87f4bf: tuned error messages;
Branches
Unknown
Tags
Unknown