Vladimír Čunát be7ce1b0e9 kdiff3: fix with git mergetool ...

The quick patch has been submitted upstream.

2017-04-20 14:48:40 +02:00

..

default.nix

kdiff3: fix with git mergetool

2017-04-20 14:48:40 +02:00