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
..
ISSUE_TEMPLATE	doc: Fill in the required skills in the good_first_issue template	2023-08-30 14:02:08 +02:00
workflows	scripted-diff: fuzz: Rename fuzz_seed_corpus to fuzz_corpora	2024-09-03 20:40:35 +02:00
PULL_REQUEST_TEMPLATE.md	doc: Add redirect for GUI issues and pull requests	2020-06-08 10:06:02 -04:00