User-agent: *
Disallow: /browser/josm/trunk/data_nodist/munich.gpx
Disallow: /browser/josm/trunk/data_nodist/projection/projection-regression-test-data
Disallow: /browser/josm/trunk/data_nodist/projection/projection-regression-test-data-java9
Disallow: /timeline?
Disallow: /browser/josm/trunk/data/defaultpresets.xml?
Disallow: /wiki/StartupPageSource
Disallow: /wiki/VersionHistorySource
Disallow: /reportspam
Disallow: /jenkins
Disallow: /sonar

Crawl-delay: 15

User-agent: SemrushBot
Disallow: /

User-agent: AhrefsBot
Disallow: /