chiark / gitweb /
e16-config: Remove.