configure: Allow GIT_ARG_SET_PATH to handle --without-PROGRAM
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: f22cd7fcc54a98277b3d2b82f1bb0b593658925c)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify