Matthias Andree 3fe84e82d4 bump_revision.pl: fix typo in help text.		2020-08-23 09:16:29 +00:00
..
scripts	bump_revision.pl: fix typo in help text.	2020-08-23 09:16:29 +00:00
make_index
make_readmes