chiark / gitweb /
bin/run-mirrors: Run post scripts after mirror jobs. master
-rw-r--r-- 24 .gitignore
drwxr-xr-x - .userv
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - lib