chiark / gitweb /
fileio: split write_one_line_file into two