chiark / gitweb /
Remove src/random-seed