diff options
| author | jvoisin | 2015-05-21 11:31:28 +0200 |
|---|---|---|
| committer | jvoisin | 2015-05-21 11:31:28 +0200 |
| commit | f9e7357cdc5e006f528235a12f9cd72973aa0dbe (patch) | |
| tree | 96655dd0abd5b53e6291b050368164e9ba4647f1 /script.sh | |
| parent | ff6e3ef0259f933a7c61c3816035b9ae42d66d42 (diff) | |
Remove a slow-and-false-positives-generating rule
Diffstat (limited to 'script.sh')
0 files changed, 0 insertions, 0 deletions