chiark / gitweb /
Terminate tables of sources and targets.