diff options
| author |  inferno-chromium <inferno@chromium.org> | 2016-12-15 12:40:04 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-12-15 12:40:04 -0800 |
| commit | a92ee6cb92937dc5d38e759bc4531a01b5817fbf (patch) | |
| tree | d193d94fd3597e4fd586efb6695399da08f2b5b3 /projects/re2 | |
| parent | f4121e3f614a37f562eb1d15a0b201ae9f103470 (diff) | |
Delete re2_fuzzer.options
Diffstat (limited to 'projects/re2')
| -rw-r--r-- | projects/re2/re2_fuzzer.options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/projects/re2/re2_fuzzer.options b/projects/re2/re2_fuzzer.options deleted file mode 100644 index ea2785e1..00000000 --- a/projects/re2/re2_fuzzer.options +++ /dev/null @@ -1,2 +0,0 @@ -[libfuzzer] -max_len = 32 |