MarcoFalke 8888beea8d 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-		2024-09-03 20:40:35 +02:00
..
ci.yml	scripted-diff: fuzz: Rename fuzz_seed_corpus to fuzz_corpora	2024-09-03 20:40:35 +02:00