##// END OF EJS Templates
integrations: fix bug where deleting a repo did not delete integrations
integrations: fix bug where deleting a repo did not delete integrations

File last commit:

r1:854a839a default
r427:b1411a81 default
Show More
hg_diff_rename_file.diff
3 lines | 73 B | text/x-diff | DiffLexer
diff --git a/file b/file_renamed
rename from file
rename to file_renamed