Merge branch 'il/rev-glob'
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 80eac928ae11d4e417feddcc6a1ec373cf41e14f)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify