difftool: Simplify print_tool_help()
[git/mjg.git] / contrib / completion / 
treecf135671f35e06ed452035cae5cd97013c1adbcf
drwxr-xr-x   ..
-rwxr-xr-x 56148 git-completion.bash