ports/Tools
Baptiste Daroussin 4deebfd797 gen-compat.sh: properly deal with aarch74
while here remove useless compat directory
2025-03-18 12:58:57 +01:00
..
scripts gen-compat.sh: properly deal with aarch74 2025-03-18 12:58:57 +01:00
make_index
make_readmes