chiark / gitweb /
Remove `set.c'. No longer necessary.