diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-07-14 18:59:38 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-07-14 18:59:38 +0300 |
commit | 8f45367967bb26f75aa0eb9e5d82d848a922620b (patch) | |
tree | 0b5500b7821db121d1316b079ce7ec321a10f58f /tools/ci/scripts/deheader.sh | |
parent | 0ff5548da398fa389db6a81f3e2fea9d4fc74e73 (diff) | |
download | plus-8f45367967bb26f75aa0eb9e5d82d848a922620b.tar.gz plus-8f45367967bb26f75aa0eb9e5d82d848a922620b.tar.bz2 plus-8f45367967bb26f75aa0eb9e5d82d848a922620b.tar.xz plus-8f45367967bb26f75aa0eb9e5d82d848a922620b.zip |
Remove some checks from actormanager.
Diffstat (limited to 'tools/ci/scripts/deheader.sh')
0 files changed, 0 insertions, 0 deletions