git-mergetool: remove redundant assignment
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 26daa842dc35b2fe522ef18a1404c72421b3894c)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify