Changeset 5139663 in mainline for tools/ew.py

Timestamp:

2019-08-17T12:49:44Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

200b2113

Parents:

4b65f9a

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2019-07-08 13:20:41)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2019-08-17 12:49:44)

Message:

Remove broken tools/check.sh, as it's replaced by build_all.sh

(No files)