Merge branch 'cb/maint-mergetool-no-tty'
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 1998f4c0966871d49ebf7f720dc58eb9f80771e9)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify