Adding migration tool to https://tomcat.apache.org/source.html

[Rainer Jung]

The tool is mentioned in the summary of the page, but then there is 
description how to clone further down the page like for all other 
components.

Best regards,
Rainer


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org