chiark / gitweb /
agpl.py: Fix up symbolic links between directories being dumped.