chiark / gitweb /
CI: remove debug ls