dir.c: replace is_path_excluded with now equivalent is_excluded API
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: b07bc8c8c3c492d657a8bedf04ff939763ea8222)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify