You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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-		2 months ago
..
ISSUE_TEMPLATE	doc: Fill in the required skills in the good_first_issue template	1 year ago
workflows	scripted-diff: fuzz: Rename fuzz_seed_corpus to fuzz_corpora	2 months ago
PULL_REQUEST_TEMPLATE.md	doc: Add redirect for GUI issues and pull requests	4 years ago