Baptiste Daroussin d1349053a7 MOVEDlint: check for flavored version of a port ... There is no need to document when a port has been flavored or new flavor has been added, check if someone added such a line, and prevent the person it is not needed		2022-08-23 14:16:46 +02:00
..
scripts	MOVEDlint: check for flavored version of a port	2022-08-23 14:16:46 +02:00
make_index
make_readmes