diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-07-19 10:44:54 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-07-19 10:45:19 +0200 |
| commit | 1656845f45f284c574eb4f8bfe85dd7916a47a3a (patch) | |
| tree | c3face79b2567b0318bdd5bb1f4f721ec0df9ee5 | |
| parent | 9097c294da30fb6fd0335c1c0a5f0beaa61c9b7d (diff) | |
fuzz.yaml: rename to fuzzbuzz.yaml
Newsletter says we need to change the name.
| -rw-r--r-- | fuzzbuzz.yaml (renamed from fuzz.yaml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/fuzz.yaml b/fuzzbuzz.yaml index d4083f065..d4083f065 100644 --- a/fuzz.yaml +++ b/fuzzbuzz.yaml |