Prevent git diff from using external tools with porcelain#15
Merged
niklaas merged 1 commit intoniklaas:masterfrom Apr 12, 2019
Merged
Prevent git diff from using external tools with porcelain#15niklaas merged 1 commit intoniklaas:masterfrom
niklaas merged 1 commit intoniklaas:masterfrom
