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 /python/util.py | |
| parent | ecdc0b2a576cfddabc9b9763a32b28ae30fee3c0 (diff) | |
monkey.rules: only report the first unknown pattern
Diffstat (limited to 'python/util.py')
0 files changed, 0 insertions, 0 deletions