##// 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:

r233:9655ec62 default
r3830:5bbd362b stable
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer