map-tool/.gitignore