difftool: add '--no-gui' option
[git/mjg.git] / git_remote_helpers / 
treeeeb1ce21cc65189f95e363359c10b329f03bf9f3
drwxr-xr-x   ..
-rw-r--r-- 13 .gitignore
-rw-r--r-- 873 Makefile
-rw-r--r-- 512 __init__.py
drwxr-xr-x - git
-rw-r--r-- 60 setup.cfg
-rw-r--r-- 515 setup.py
-rw-r--r-- 9210 util.py