Merge branch 'gp/avoid-explicit-mention-of-dot-git-refs'
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 9adf272a38f3ac79c9f241dc348546fb0d5694ce)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify