chiark / gitweb /
infra: Pass distro to dgit-repos-server
[dgit.git] / infra /
drwxr-xr-x   ..
-rw-r--r-- 1275 README.Debian-NEW
-rwxr-xr-x 15932 dgit-repos-server
-rwxr-xr-x 2990 dgit-ssh-dispatch
-rwxr-xr-x 356 get-dm-txt
-rwxr-xr-x 137 ssh-wrap