#Development Tools Development Tools is a repository which provide tools to facilitate the development process. Now it only provides Patch Tool. You can get eclipse plugin of the tools from the update site https://ycbai.github.io/devtools/updates.