diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-09-03 20:37:46 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-09-03 20:40:35 +0200 |
commit | 8888beea8d477b1d4a2dfd2a0bb5f686de62f3ff (patch) | |
tree | 4fa30306bf1fd7dae980e5055a33553752c66c08 /src/streams.h | |
parent | 9cb9651d92ddb5d92724f6a52440601c7a0bbcf8 (diff) |
scripted-diff: fuzz: Rename fuzz_seed_corpus to fuzz_corpora
-BEGIN VERIFY SCRIPT-
ren() { sed -i "s:\<$1\>:$2:g" $( git grep -l "$1" ) ; }
ren fuzz_seed_corpus fuzz_corpora
ren FUZZ_SEED_CORPUS_DIR FUZZ_CORPORA_DIR
-END VERIFY SCRIPT-
Diffstat (limited to 'src/streams.h')
0 files changed, 0 insertions, 0 deletions