chiark / gitweb /
dgit-repos-server: tests: remove obsolete files