do not run pager with diff --no-index --quiet
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: af63b543ed9f7d606cdd2c7a3bcded4e2dc8dad4)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify