##// END OF EJS Templates
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation....
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation. In some cases when there are no longer any files this caused error since filediff wasn't present. In addition this generated wrong ids since it used a last-defined attribute on a for loop. Fixes #5567

File last commit:

r2880:7de9fb89 default
r3830:5bbd362b stable
Show More
robots.txt
9 lines | 195 B | text/plain | TextLexer
# See http://www.robotstxt.org/robotstxt.html for documentation on
# how to use the robots.txt file
User-agent: *
# To forbid all spiders from indexing, uncomment the next line:
#Disallow: /