Adam Weinberger ee8568c2d8 Tools/scripts/chkversion.pl: Guard against undefined values ...

There are a few places where undefined values can creep in. While
reinforcing defined values, use the defined-or (//) operator for
some visual simplification.

2021-01-24 18:42:29 +00:00

..

scripts

Tools/scripts/chkversion.pl: Guard against undefined values

2021-01-24 18:42:29 +00:00

make_index

…

make_readmes

…