Skip to content

Prevent git diff from using external tools with porcelain #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 12, 2019
Merged

Prevent git diff from using external tools with porcelain #15

merged 1 commit into from
Apr 12, 2019

Conversation

@scattenlaeufer
Copy link
Contributor

Fixes #14
@niklaas niklaas changed the title Prevent git diff from using eternal tools with porcelain Prevent git diff from using external tools with porcelain Apr 12, 2019
@niklaas niklaas merged commit 6dc5e3a into niklaas:master Apr 12, 2019
@niklaas
Copy link
Owner

niklaas commented Apr 12, 2019

Thanks a lot for your contribution!
niklaas added a commit that referenced this pull request Apr 12, 2019
@niklaas
fix(algorithms): don't use external diff drivers
36e64d4 
b/c we don't know how they behave. Most probably they are incompatible to the algorithms implemented in this plugin. This change was introduced in #15 originally.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@scattenlaeufer @niklaas