Matthias Andree db9d6d4735 Tools/scripts/bump_revision.pl: rename options to avoid astonishment. ... -n was more or less some "force" option, rename to -f -c was a dry-run option that's often called -n, rename accordingly.		2020-05-08 01:09:15 +00:00
..
scripts	Tools/scripts/bump_revision.pl: rename options to avoid astonishment.	2020-05-08 01:09:15 +00:00
make_index
make_readmes