Rene Ladan f08b42fbd9 Tools/scripts: use a port-specific commit message if removing a single port. ... This helps in `git shortlog`, replacing "cleanup: Remove expired ports" by "category/port: Remove expired port" for a given category and port. Reported by: gerald		2023-02-19 20:42:20 +01:00
..
scripts	Tools/scripts: use a port-specific commit message if removing a single port.	2023-02-19 20:42:20 +01:00
make_index
make_readmes