src/tools/lint

.