Merge branch 'stable-2.16' into stable-2.17 stable-2.17
[ganeti-github.git] / devel /
drwxr-xr-x   ..
-rwxr-xr-x 22709 build_chroot
-rwxr-xr-x 2074 cert_digest.py
-rwxr-xr-x 2877 check-split-query
-rwxr-xr-x 3133 check_copyright
-rwxr-xr-x 3144 release
-rwxr-xr-x 5279 review
-rwxr-xr-x 4525 upload
-rwxr-xr-x 2202 webserver