+Developers and Maintainers Tools
+M: Thomas Monjalon <thomas@monjalon.net>
+F: MAINTAINERS
+F: devtools/check-dup-includes.sh
+F: devtools/check-maintainers.sh
+F: devtools/check-git-log.sh
+F: devtools/check-includes.sh
+F: devtools/checkpatches.sh
+F: devtools/git-log-fixes.sh
+F: devtools/load-devel-config
+F: devtools/test-build.sh
+