Files
openide/plugins/github
Ivan Semenov a83df88068 [github] Use the analog of three-dot-diff for PR diff
Synchronize diff implementation with GitHub
Previously non-related changes were included into diff

GitOrigin-RevId: 58ecfc6a9131bc1cf19720a0114ba967cd7509a9
2019-12-16 16:38:08 +00:00
..