diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:32:35 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:32:35 +0100 |
commit | 265e44cd53d43f581f13fb31dccdc4da35144dc1 (patch) | |
tree | a9259769f0d05720d57e845eda028caeb0b2e650 /scripts/deploy/codeq_refresh_and_deploy.sh | |
parent | ecdc0b2a576cfddabc9b9763a32b28ae30fee3c0 (diff) |
monkey.rules: only report the first unknown pattern
Diffstat (limited to 'scripts/deploy/codeq_refresh_and_deploy.sh')
0 files changed, 0 insertions, 0 deletions