Merge branch 'sp/maint-no-thin'
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 9784c5c53e0765bc9a0c973ab10aaf0734d535c3)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify