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