revisions: split handle_revision_opt() from setup_revisions()
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 02e542206f26cf06817ec2e9ffecf4f416e8e332)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify