difftool: move 'git-difftool' out of contrib
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: afcbc8e7ecb18a3ee542e808f02f5df7d56d5bdc)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify