chiark / gitweb /
WIP input file handling